アブダクシヨンシステムの構成に関する研究

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: 1994-1996
Publication Date (W3CDTF): 1994
Extent: 冊
Additional Title: 研究種目一般研究(B)
Subject Heading: 論理プログラムロンリプログラム
2値安定モデル 2チアンテイモデル
3値安定モデル 3チアンテイモデル
失敗による否定シツパイニヨルヒテイ
SLDNF導出 SLDNFドウシユツ
アブダクテイブ手続きアブダクテイブテツズキ
アブダクシヨンの枠組アブダクシヨンノワクグミ
意味論イミロン
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 06452404
Holding library: 国立国会図書館
Call No.: Y151-H06452404
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000006996285
http://id.ndl.go.jp/bib/000006996285
Bibliographic Record Category (NDL): 214