---

Computer science logic : 13th International Workshop, CSL '99, 8th Annual Conference of the EACSL, Madrid, Spain, September 20-25, 1999 : proceedings / Jörg Flum, Mario Rodríguez-Artalejo (eds.)
(Lecture notes in computer science ; 1683)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1999
形態	xi, 580 p. : ill. ; 24 cm
著者標目	International Workshops on Computer Science Logic (13th : 1999 : Madrid, Spain) Conference of European Association for Computer Science Logic (8th : 1999 : Madrid, Spain) Flum, Jörg Rodríguez Artalejo, Mario
分　類	NDC:549.92
書誌ID	LT00573464

 類似資料