著書
公開件数:3件
No. 書名 出版日 出版社名 担当頁 共著者名 ISBN 機関リポジトリ
1 数理論理学―合理的エージェントの理解に向けて―
2014/10/30
コロナ社

加藤他2名
978-4-339-02489-0

2 Wnn+GMW入門
1990
岩波書店




3 Common Lispハンドブック
1987
岩波書店