証明補完技法に基く仮説発見システムの構成

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: 2000-2002
Publication Date (W3CDTF): 2000
Extent: 冊
Additional Title: 研究種目基盤研究(C)
Subject Heading: 定理自動証明テイリジドウシヨウメイ
証明補完シヨウメイホカン
連結証明レンケツシヨウメイ
仮説発見カセツハツケン
残余仮説ザンヨカセツ
帰納学習キノウガクシユウ
アブダクシヨンアブダクシヨン
適切さの論理テキセツサノロンリ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 12680364
Holding library: 国立国会図書館
Call No.: Y151-H12680364
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007087222
http://id.ndl.go.jp/bib/000007087222
Bibliographic Record Category (NDL): 214