1.

図書
図書
1. 計算機科学入門
M. アービブ, A. クフォーリ, R. モル共著 ; 甘利俊一, 金谷健一, 嶋田晋共訳
出版情報: 東京 : サイエンス社, 1984.11
シリーズ名: Information & computing ; 1
所蔵情報: loading…
2.

図書
図書
2. A basis for theoretical computer science
Michael A. Arbib, A.J. Kfoury, Robert N. Moll
出版情報: New York : Springer-Verlag, c1981
シリーズ名: Texts and monographs in computer science ; . The AKM series in theoretical computer science
所蔵情報: loading…
3.

図書
図書
3. A programming approach to computability
A.J. Kfoury, Robert N. Moll, Michael A. Arbib
出版情報: New York, N.Y. : Springer-Verlag, c1982
シリーズ名: Texts and monographs in computer science ; . The AKM series in theoretical computer science
所蔵情報: loading…
4.

図書
図書
4. プログラミングによる計算可能性理論
A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳
出版情報: 東京 : サイエンス社, 1987.12
シリーズ名: Information & computing ; 18
所蔵情報: loading…