---

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings / E. Börger ... [et al.] (eds.)
(Lecture notes in computer science ; 533)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1991
形態	viii, 399 p. : ill. ; 25 cm
著者標目	Workshop on Computer Science Logic (4th : 1990 : Heidelberg, Germany) Börger, Egon, 1946-
件　名	Computer science -- Congresses  全ての件名で検索 Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 DDC:004 LCC:QA75.5
書誌ID	LT00372599

 類似資料