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

Tallennettuna:
Bibliografiset tiedot
Yhteisötekijät: Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
Muut tekijät: Fribourg, Laurent, 1957-
Aineistotyyppi: Sách giấy
Julkaistu: Berlin : New York : Springer, 2001.
Sarja:Lecture notes in computer science, 2142
Aiheet:
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt