close
1.

図書
図書
1. Studies in automatic programming logic (: pbk)
Zohar Manna, Richard Waldinger ; with contributions by Shmuel Katz and Karl Levitt
出版情報: New York : North-Holland, c1977
シリーズ名: Artificial intelligence series
The Computer science library
所蔵情報: loading…
2.

図書
図書
2. プログラムの理論
ゾーハ・マンナ著 ; 五十嵐滋訳
出版情報: 東京 : 日本コンピュータ協会, 1975.1
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 23
所蔵情報: loading…