---

Logic at Botik '89 : symposium on logical foundations of computer science, Pereslavl-Zalessky, USSR, July 1989 : proceedings / A.R. Meyer, M.A. Taitslin (eds.)
(Lecture notes in computer science ; 363)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1989
形態	x, 289 p. ; 25 cm
著者標目	Botik '89 (1989 : Pereslavlʹ -Zslesskiĭ, R.S.F.S.R.) Meyer, Albert R. Taitslin, M. A. (Michael A.)
件　名	LCSH:Computers -- Congresses  全ての件名で検索 LCSH:Electronic data processing -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:004/.01/5113 LCC:QA75.5
書誌ID	LT00276757

 類似資料