OPAC

Logic programming and non-monotonic reasoning : proceedings of the second international workshop / edited by Luís Moniz Pereira and Anil Nerode

データ種別	図書
出版者	Cambridge, Mass. : MIT Press
出版年	c1993
本文言語	英語
大きさ	vii, 494 p. : ill. ; 23 cm
著者標目	Pereira, Luís Moniz Nerode, Anil, 1932-

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-研究室	007.1\|\|L82	101114791		1993			0262660830		請求メモ		請求メモ

一般注記	Papers presented during the workshop held in Lisbon in June 1993 Includes bibliographical references and index
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索 LCSH:Reasoning -- Congresses 全ての件名で検索
分　類	LCC:QA76.63 DC20:006.3
書誌ID	B000051118
ISBN	0262660830
NCID	BA20560034