---

Computer science logic : 8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers / Leszek Pacholski, Jerzy Tiuryn (eds.)
(Lecture notes in computer science ; 933)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1995
形態	ix, 541 p. : ill. ; 24 cm
著者標目	*Workshop on Computer Science Logic (8th : 1994 : Kazimierz, Poland) Pacholski, Leszek Tiuryn, Jerzy
件　名	LCSH:Computer science -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:QA75.5 DC20:004/.01/5113
書誌ID	LT00483468

 類似資料