| オ-トマトンと計算可能性
著者：有川節夫 / 宮野悟 出版社：培風館 ( 1986年09月 ) 価格：4,180円 ISBN13：9784563007898 | |
|
| 述語論理と論理プログラミング
著者：有川節夫 / 原口誠 出版社：オ-ム社 ( 1988年05月01日頃 ) 価格：3,630円 ISBN13：9784274073861 | |
| 知識の帰納的推論
著者：淵一博 / シャピロ，E．Y． / 有川節夫 出版社：共立出版 ( 1986年01月01日頃 ) 価格：1,870円 ISBN13：9784320022638 |