知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究)

このアイテムのアクセス数: 139

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

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

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

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	大芝, 猛	ja
dc.contributor.author	小橋, 一秀	ja
dc.contributor.alternative	Ohshiba, Takeshi	en
dc.contributor.alternative	Kobashi, Kazuhide	en
dc.contributor.transcription	オオシバ, タケシ	ja
dc.contributor.transcription	コバシ, カズヒデ	ja
dc.date.accessioned	2008-07-09T02:11:34Z	-
dc.date.available	2008-07-09T02:11:34Z	-
dc.date.issued	1996-05	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/60321	-
dc.format.mimetype	application/pdf	-
dc.language.iso	jpn	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject.ndc	410	-
dc.title	知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究)	ja
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	950	-
dc.identifier.spage	189	-
dc.identifier.epage	192	-
dc.textversion	publisher	-
dc.sortkey	29	-
dc.address	椙山女学園大学	ja
dc.address	名古屋工業大学	ja
dcterms.accessRights	open access	-
出現コレクション:	0950 計算モデルと計算の複雑さに関する研究

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