Top-down Zooming Diagnosis of Logic Programs

ダウンロード数: 279

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

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

ファイル	記述	サイズ	フォーマット
0655-09.pdf		1.92 MB	Adobe PDF	見る/開く

完全メタデータレコード

DCフィールド	値	言語
dc.contributor.author	MAEJI, Machi	en
dc.contributor.author	KANAMORI, Tadashi	en
dc.contributor.alternative	前地, 真知	ja
dc.contributor.alternative	金森, 直	ja
dc.contributor.transcription	マエジ, マチ	ja
dc.contributor.transcription	カナモリ, タダシ	ja
dc.date.accessioned	2010-03-04T01:30:02Z	-
dc.date.available	2010-03-04T01:30:02Z	-
dc.date.issued	1988-04	-
dc.identifier.issn	1880-2818	-
dc.identifier.uri	http://hdl.handle.net/2433/100509	-
dc.format.mimetype	application/pdf	-
dc.language.iso	eng	-
dc.publisher	京都大学数理解析研究所	ja
dc.subject	Program Diagnosis	en
dc.subject	Debugging	en
dc.subject	Prolog	en
dc.subject	Program Analysis	en
dc.subject.ndc	410	-
dc.title	Top-down Zooming Diagnosis of Logic Programs	en
dc.type	departmental bulletin paper	-
dc.type.niitype	Departmental Bulletin Paper	-
dc.identifier.ncid	AN00061013	-
dc.identifier.jtitle	数理解析研究所講究録	ja
dc.identifier.volume	655	-
dc.identifier.spage	147	-
dc.identifier.epage	166	-
dc.textversion	publisher	-
dc.sortkey	09	-
dc.address	Central Research Laboratory, Mitsubishi Electric Corporation	en
dc.address	Central Research Laboratory, Mitsubishi Electric Corporation	en
dcterms.accessRights	open access	-
出現コレクション:	0655 ソフトウェア科学・工学における数理的方法

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