close
1.

図書
図書
1. Lectures on the logic of computer programming
Zohar Manna
出版情報: Philadelphia, Pa. : Society for Industrial and Applied Mathematics, 1980
シリーズ名: CBMS-NSF regional conference series in applied mathematics ; 31
所蔵情報: loading…
2.

図書
図書
2. Mathematical theory of computation
Zohar Manna
出版情報: New York ; Tokyo : McGraw-Hill, c1974
シリーズ名: McGraw-Hill computer science series
所蔵情報: loading…
3.

図書
図書
3. Deductive reasoning
Zohar Manna, Richard Waldinger
出版情報: Reading, Mass. : Tokyo : Addison-Wesley, c1985
シリーズ名: Addison-Wesley series in computer science ; . The logical basis for computer programming ; v. 1
所蔵情報: loading…