OPAC

Logical foundations of computer science : Third International Symposium, LFCS '94, St. Petersburg, Russia, July 11-14, 1994 : proceedings / A. Nerode, Yu. V. Matiyasevich (eds.)
(Lecture notes in computer science ; 813)

データ種別	図書
出版者	Berlin : Tokyo : Springer-Verlag
出版年	c1994
本文言語	英語
大きさ	ix, 392 p. : ill. ; 25 cm
著者標目	*International Symposium on Logical Foundations of Computer Science Nerode, Anil, 1932- Matii︠a︡sevich, I︠U︡. V. (I︠U︡riĭ Vladimirovich)

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

一般注記	Includes bibliographical references
件　名	LCSH:Computers -- Congresses 全ての件名で検索 LCSH:Electronic data processing -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	LCC:QA75.5 DC20:004
書誌ID	B000062655
ISBN	0387581405XISBN:0387581406
NCID	BA22708872