述語論理的プログラムの理論及び実装

資料に関する注記

書店で探す

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

資料種別: 図書
タイトル: 述語論理的プログラムの理論及び実装
タイトルよみ: ジュツゴロンリテキプログラムノリロンオヨビジッソウ
著者・編者: 五十嵐, 滋, 筑波大学
著者標目: 五十嵐, 滋イガラシ, シゲル
出版年月日等: 1990-1992
出版年（W3CDTF）: 1990
数量: 冊
その他のタイトル: 研究種目一般研究(B)
件名標目: レー転換レーテンカン
NU NU
不完全情報ゲームフカンゼンジヨウホウゲーム
音楽情報処理オンガクジヨウホウシヨリ
同値理論ドウチリロン
人工知能ジンコウチノウ
NDLC: Y151
一般注記: 文部省科学研究費補助金研究成果報告書
科研費課題番号: 02452153
所蔵機関: 国立国会図書館
請求記号: Y151-H02452153
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000006977865
http://id.ndl.go.jp/bib/000006977865
整理区分コード: 214