Jump to main content
図書

古典論理に基く構成的プログラミングの実現

Icons representing 図書

古典論理に基く構成的プログラミングの実現

Call No. (NDL)
Y151-H10480061
Bibliographic ID of National Diet Library
000007059178
Material type
図書
Author
佐藤, 雅彦, 京都大学
Publisher
-
Publication date
1998-1999
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
1998-1999
Publication Date (W3CDTF)
1998
Extent
Additional Title
研究種目 基盤研究(B)
Subject Heading
構成的プログラミング コウセイテキプログラミング
古典論理 コテンロンリ
算術 サンジユツ
キヤツチ・スロー機構 キヤツチ・スローキコウ