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

Gespeichert in:
Bibliographische Detailangaben
Körperschaften: Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
Weitere Verfasser: Fribourg, Laurent, 1957-
Format: Sách giấy
Veröffentlicht: Berlin : New York : Springer, 2001.
Schriftenreihe:Lecture notes in computer science, 2142
Schlagworte:
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt