図書

命題論理の証明の複雑さに関する研究

Icons representing 図書

命題論理の証明の複雑さに関する研究

Call No. (NDL)
Y151-H13680422
Bibliographic ID of National Diet Library
000007655558
Material type
図書
Author
新井紀子, 国立情報学研究所 [著]
Publisher
[新井紀子]
Publication date
2001-2003
Material Format
Paper
Capacity, size, etc.
1冊
NDC
-
View All

Notes on use

Note (General)：

文部科学省科学研究費補助金研究成果報告書

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

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

Paper

Material Type
図書
Title
命題論理の証明の複雑さに関する研究
Title Transcription
メイダイ ロンリ ノ ショウメイ ノ フクザツサ ニ カンスル ケンキュウ
Author/Editor
新井紀子, 国立情報学研究所 [著]
Author Heading
新井, 紀子, 1962- アライ, ノリコ, 1962- ( 00689750 )Authorities
国立情報学研究所 コクリツ ジョウホウガク ケンキュウジョ ( 00821713 )Authorities
Publication, Distribution, etc.
[新井紀子]
Publication Date
2001-2003
2004.6
Publication Date (W3CDTF)
2001
2003
Extent
1冊
Additional Title
研究種目 基盤研究(C)