佐藤 雅彦  Sato Masahiko

科学哲学

巻: 53 ページ: 3-23

130008009632

Proc. of ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation

巻: - ページ: 1-13

10.1145/3372884.3373160

科学哲学

巻: 49 ページ: 67-84

130005279437

科学哲学

巻: 49 ページ: 67-84

130005279437

コンピュータソフトウェア

巻: 32 ページ: 179-193

130004892317

Lecture Notes in Computer Science

巻: 9527 ページ: 331-345

Indagationes Mathematicae

巻: 24 号: 4 ページ: 1073-1104

10.1016/j.indag.2013.08.003

Journal ofAutomated Reasoning

巻: Vol. 49 ページ: 185-207

a special issue of Journal of Automated Reasoning

Journal of Symbolic Computation

巻: 45 ページ: 598-616

Journal of SymbolicComputation

巻: Vol.45

The Austrian-Japanese Workshop on Symbolic Computation in Software Science

ページ: 176-195

Journal of Intelligent Information System 31

ページ: 111-125

Journal of Intelligent Information Systems 31

ページ: 111-125

分析哲学の誕生(日本科学哲学会編, 勁草書房)

ページ: 127-141

130003640618

分析哲学の誕生 (日本科学哲学会編)(勁草書房)

ページ: 127-141

130003640618

DNA Computing: 13th International Workshop on DNA Computing, DNA13, LNCS Vol.4848

ページ: 109-118

分析哲学の誕生(日本科学哲学会編,勤草書房)

ページ: 127-141

130003640618

Frontiers of Computer Science in China 2 (1)

ページ: 12-21

Frontiers of Computer Science in China 2(1)

ページ: 12-21

Information Systems 31

ページ: 111-125

Frontiers of Computer Science in China 2(1)

ページ: 12-21

The Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)

ページ: 176-195

The Austrian-Japanese Workshop on Symbolic Computation in Software Science (SCSS 2008)

ページ: 176-195

Preliminary Proceedings of the 13th International Meeting on DNA Computing 1

ページ: 261-269

Preliminary Proceedings of the 13th International Meeting on DNA Computing 1

ページ: 19-29

DNA Computing (DNA12), Lecture Notes in Computer Science 4287

ページ: 418-427

The Eleventh International Symposium on Artificial Life and Robotics (AROB 11th'06) 1

ページ: 1-5

コンピュータソフトウェア 23・3

110004815101

Preliminary Proceedings of 12^<th> International Meeting on DNA Computing (DNA11) 1

ページ: 418-418

Preliminary Proceedings of 12^<th> International Meeting on DNA Computing (DNA11)

ページ: 418-418

DNA Computing (DNA12), Lecture Notes in ComputerScience 4287

ページ: 418-427

Applied Microbiology and Biotechnology 73

ページ: 607-617

9^<th> Japanese-American Kavli Frontiers of Science Symposium, National Academy of Sciences (JAFoS) 1(CD-ROM)

9^<th> Japanese-American Kavli Frontiers of Science Symposium, National Academy of Sciences (JAFoS) (CD-ROM)

SCIS＆ISIS 2006 (invited session)

SCIS&ISIS 2006 (invited session) 1

ページ: 1-5

Information Processing Letters 99

ページ: 163-170

Proceedings of 11th International Meeting on DNA BasedComputers 1

ページ: 278-288

Proc.of the 8th IASTED International Conference on Intelligence Systems and Control (ISC2005)

ページ: 471-476

Proc. ASIAN '04,LNCS 3221

ページ: 437-451

Biosystems Vol. 80, No. 1

ページ: 99-112

科学哲学 38(2)

ページ: 21-33

130003640618

Proceedings of the Ninth International Symposium on Artificial Life and Robotics (AROB 9th'04) 1

ページ: 303-308

Proceedings of 10th International Meeting on DNA Based Computers 1

ページ: 395-404

Lecture Notes in Computer Science Vol.2950

ページ: 266-277

Communications and Computer Sciences Vol. E87-A, N0. 6

ページ: 1446-1453

Proceedings of 10th International Meeting on DNA Based Computers 1

ページ: 441-441

Proceedings of Workshop on Simulation Tools for Biomolecular Computing in 2003 Congress on Evolutionary Computation 1

ページ: 22-26

The 990th American. Mathematical Society Fall EasternSectional Meeting 1

ページ: 80-80

Lecture Notes in Computer Science 2950

ページ: 266-277

Proceedings of the 2003 International Technical Conference on Circuits/Systems, Computers and Communications 1

ページ: 1-5

Technical Report of IEICE COMP2003-16

ページ: 1-6

DNA Computing (DNA7), LNCS 2340

ページ: 14-22

International Journal of Computational Intelligence and Applications Vol. 2, No. 4

ページ: 423-432

Proceedings of 8th International Meeting on DNA Based Computers 1

ページ: 231-240

DNA7 Lecture Notes in Computer Science Vol. 2340

ページ: 308-320