※一部利用できない機能があります
述語論理と論理プログラミング
- フォーマット:
- 図書
- 責任表示:
- 有川節夫, 原口誠共著
- 言語:
- 日本語
- 出版情報:
- 東京 : オーム社, 1988.5
- 形態:
- vii, 217p ; 22cm
- 著者名:
- シリーズ名:
- 知識工学講座 ; 4 <BN00700584>
- 書誌ID:
- BN02198061
- ISBN:
- 9784274073861 [4274073866]
類似資料:
共立出版 |
誠文堂新光社 |
有斐閣 |
昭晃堂 |
トッパン |
近代科学社 |
岩波書店 |
培風館 |
日刊工業新聞社 |
昭晃堂 |
オーム社 |
岩波書店 |