※一部利用できない機能があります
QRコード(所蔵情報)
述語論理と論理プログラミング
- フォーマット:
- 図書
- 責任表示:
- 有川節夫, 原口誠共著
- 言語:
- 日本語
- 出版情報:
- 東京 : オーム社, 1988.5
- 形態:
- vii, 217p ; 22cm
- 著者名:
- シリーズ名:
- 知識工学講座 ; 4 <BN00700584>
- 書誌ID:
- BN02198061
- ISBN:
- 9784274073861 [4274073866]
類似資料:
オーム社 |
アスキー |
共立出版 |
トッパン |
啓学出版 |
岩波書店 |
有斐閣 |
サイエンス社 |
岩波書店 |
コロナ社 |
昭晃堂 |
丸善 |