---

Logical foundations of computer science : 4th International Symposium, LFCS '97, Yaroslavl, Russia, July 6-12, 1997 : proceedings / Sergei Adian, Anil Nerode (eds.)
(Lecture notes in computer science ; 1234)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1997
形態	ix, 429 p. : ill. ; 24 cm
著者標目	*Logical Foundations of Computer Science (4th : 1997 : Yaroslavl, Russia) Adi︠a︡n, Sergei I. Nerode, Anil, 1932-
件　名	LCSH:Computers -- Congresses  全ての件名で検索 LCSH:Electronic data processing -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00525419

 類似資料