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

Gardado en:
Detalles Bibliográficos
Nhiều tác giả của công ty: Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
Outros autores: Fribourg, Laurent, 1957-
Formato: Sách giấy
Publicado: Berlin : New York : Springer, 2001.
Series:Lecture notes in computer science, 2142
Những chủ đề:
Các nhãn: Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt