自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論)

ダウンロード数: 161

http://hdl.handle.net/2433/59450

このアイテムのファイル:

ファイル	記述	サイズ	フォーマット
0906-19.pdf		741.01 kB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	高橋, 英之	ja
dc.contributor.author	山下, 正人	ja
dc.contributor.alternative	Takahashi, Hideyuki	en
dc.contributor.alternative	Yamashita, Masato	en
dc.contributor.transcription	タカハシ, ヒデユキ	ja
dc.contributor.transcription	ヤマシタ, マサト	ja
dc.date.accessioned	2008-07-09T00:07:50Z	-
dc.date.available	2008-07-09T00:07:50Z	-
dc.date.issued	1995-04	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/59450	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	自然推論による微積の初歩の完全な形式化とそのプルーフ・チェッカー(アルゴリズムと計算量理論)	ja
dc.title.alternative	Complete Formalization of Some Elementary Calculus Theorems by Natural Deduction and its Proof-Checker	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	906	-
dc.identifier.spage	138	-
dc.identifier.epage	145	-
dc.textversion	publisher	-
dc.sortkey	19	-
dc.address	日本大学理工学部数学科	ja
dc.address	日本大学理工学部数学科	ja
dcterms.accessRights	open access	-
出現コレクション:	0906 アルゴリズムと計算量理論

このリポジトリに保管されているアイテムはすべて著作権により保護されています。