Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /

Sparad:
Bibliografiska uppgifter
Institutionella upphovsmän: Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
Övriga upphovsmän: Fribourg, Laurent, 1957-
Materialtyp: Sách giấy
Publicerad: Berlin : New York : Springer, 2001.
Serie:Lecture notes in computer science, 2142
Ämnen:
Taggar: Lägg till en tagg
Inga taggar, Lägg till första taggen!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Liknande verk