---

Computer science logic : 11th International Workshop, CSL '97, Annual Conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers / Mogens Nielsen, Wolfgang Thomas (eds.)
(Lecture notes in computer science ; 1414)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1998
形態	viii, 509 p. ; 24 cm
著者標目	*Workshop on Computer Science Logic (11th : 1997 : Aarhus, Denmark) Nielsen, Mogens Thomas, Wolfgang European Association for Computer Science Logic
件　名	LCSH:Computer science -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00546569

 類似資料