述語論理と論理プログラミング 知識工学講座 貸出可
有川 節夫／著 -- オーム社 -- 1988.05
所蔵は 1 件です。現在の予約件数は 0 件です。
ページの先頭へ
※内容紹介、著者紹介は（株）日販図書館サービスおよび（株）トーハンのデータです。