OPAC

Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.)
(Lecture notes in computer science ; 592 . Lecture notes in artificial intelligence)

データ種別	図書
出版者	Berlin : New York : Springer-Verlag
出版年	c1992
本文言語	英語
大きさ	ix, 514 p. : ill. ; 25 cm
著者標目	*Russian Conference on Logic Programming Voronkov, A. (Andreĭ), 1959- Russian Conference on Logic Programming

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

一般注記	Includes bibliographical references
件　名	LCSH:Logic programming -- Congresses 全ての件名で検索
分　類	LCC:QA76.63 DC20:005.1/1
書誌ID	B000062661
ISBN	3540554602
NCID	BA14286175