Jump to main content
図書

論理プログラム言語に基づく証明検証・プログラム合成システムの作成

Icons representing 図書

論理プログラム言語に基づく証明検証・プログラム合成システムの作成

Call No. (NDL)
Y151-S58580020
Bibliographic ID of National Diet Library
000007050550
Material type
図書
Author
米田, 信夫, 東京大学
Publisher
-
Publication date
1983-
Material Format
Paper
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

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

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 Transcription
ロンリ プログラム ゲンゴ ニ モトヅク ショウメイ ケンショウ ・ プログラム ゴウセイ システム ノ サクセイ
Author/Editor
米田, 信夫, 東京大学
Author Heading
米田, 信夫 ヨネダ, ノブオ
Publication Date
1983-
Publication Date (W3CDTF)
1983
Extent
Additional Title
研究種目 一般研究(C)
NDLC