構成的数学基づく証明検証合成システムの作成

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: 1987-1989
Publication Date (W3CDTF): 1987
Extent: 冊
Additional Title: 研究種目一般研究(B)
Subject Heading: 構成的数学コウセイテキスウガク
関数型プログラム言語カンスウガタプログラムゲンゴ
直観主義論理チヨツカンシユギロンリ
証明シヨウメイ
プログラムの検証プログラムノケンシヨウ
プログラムの合成プログラムノゴウセイ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 62460220
Holding library: 国立国会図書館
Call No.: Y151-S62460220
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007030366
http://id.ndl.go.jp/bib/000007030366
Bibliographic Record Category (NDL): 214