図書

述語論理型プログラミング系の計算機構に関する研究

Icons representing 図書

述語論理型プログラミング系の計算機構に関する研究

Call No. (NDL)
Y151-S57550217
Bibliographic ID of National Diet Library
000007038010
Material type
図書
Author
山崎, 進, 京都大学
Publisher
-
Publication date
1982-
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
1982-
Publication Date (W3CDTF)
1982
Extent
Additional Title
研究種目 一般研究(C)
NDLC