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

Notes on use

Search by Bookstore

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: 述語論理的プログラムの理論及び実装
Title Transcription: ジュツゴロンリテキプログラムノリロンオヨビジッソウ
Author/Editor: 五十嵐, 滋, 筑波大学
Author Heading: 五十嵐, 滋イガラシ, シゲル
Publication Date: 1990-1992
Publication Date (W3CDTF): 1990
Extent: 冊
Additional Title: 研究種目一般研究(B)
Subject Heading: レー転換レーテンカン
NU NU
不完全情報ゲームフカンゼンジヨウホウゲーム
音楽情報処理オンガクジヨウホウシヨリ
同値理論ドウチリロン
人工知能ジンコウチノウ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 02452153
Holding library: 国立国会図書館
Call No.: Y151-H02452153
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006977865
http://id.ndl.go.jp/bib/000006977865
Bibliographic Record Category (NDL): 214