| 書影 | 書誌事項 |
1 | | プログラミングによる計算可能性理論 / A. クフォーリ, R. モル, M. アービブ共著 ; 甘利俊一, 金谷健一, 川端勉共訳. -- サイエンス社, 1987. -- (Information & computing). |
2 | | 形式言語理論入門 / R. モル, M. アービブ, A. クフォーリ著 ; 西野哲朗訳. -- 東京電機大学出版局, 1995. -- (情報科学). |
3 | | A programming approach to computability / A.J. Kfoury, Robert N. Moll, Michael A. Arbib. -- Springer-Verlag, 1982. -- (Texts and monographs in computer science). |
| 書影 | 書誌事項 |