構成的プログラミング・システムの実現

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: 1996-1997
Publication Date (W3CDTF): 1996
Extent: 冊
Additional Title: 研究種目基盤研究(B)
Subject Heading: 構成的プログラミングコウセイテキプログラミング
対話的証明環境タイワテキシヨウメイカンキヨウ
直観主義論理チヨツカンシユギロンリ
古典論理コテンロンリ
様相論理ヨウソウロンリ
NDLC: Y151
Note (General): 文部省科学研究費補助金研究成果報告書
Research Project No. of Grants-in-Aid for Scientific Research: 08558023
Holding library: 国立国会図書館
Call No.: Y151-H08558023
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000007013698
http://id.ndl.go.jp/bib/000007013698
Bibliographic Record Category (NDL): 214