OPAC

Logic programming and non-monotonic reasoning : proceedings of the first international workshop / edited by Anil Nerode, Wiktor Marek, and V.S. Subrahmanian

データ種別	図書
出版者	Cambridge, Mass. : MIT Press
出版年	c1991
本文言語	英語
大きさ	vi, 288 p. : ill. ; 23 cm
著者標目	Nerode, Anil, 1932- Marek, Wiktor Subrahmanian, V. S. Association for Logic Programming

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
	射水-2階-洋書	007.64\|\|L82	101129518						予約		予約

一般注記	Proceedings of a workshop held July 1991, Washington, D.C., sponsored by the Association for Logic Programming, and others Includes bibliographical references and index
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索 LCSH:Reasoning -- Congresses 全ての件名で検索
分　類	LCC:QA76.63 DC20:005.1
書誌ID	B000043839
ISBN	0262640279
NCID	BA12802309