---

Computer science logic : 9th International Workshop, CSL '95, annual conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning (ed.)
(Lecture notes in computer science ; 1092)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag, c1996
形態	viii, 485 p. : Tokyo ; 24 cm
著者標目	*Workshop on Computer Science Logic (9th : 1995 : Paderborn, Germany) Kleine Büning, Hans, 1948- European Association for Computer Science Logic
件　名	LCSH:Computer science -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00505756

 類似資料