OPAC

Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings / Frank Pfenning (ed.)
(Lecture notes in computer science ; 822 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin : New York : Springer-Verlag
出版年	c1994
本文言語	英語
大きさ	x, 344 p. : ill. ; 24 cm
著者標目	*LPAR Pfenning, Frank

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

一般注記	Includes bibliographical references and index
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索 LCSH:Automatic theorem proving -- Congresses 全ての件名で検索
分　類	LCC:QA76.63 DC20:006.3 NDC8:007.1
書誌ID	B000075526
ISBN	3540582169
NCID	BA23005674