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

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

Uloženo v:
Podrobná bibliografie
Korporace: Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
Další autoři: Fribourg, Laurent, 1957-
Médium: Sách giấy
Vydáno: Berlin : New York : Springer, 2001.
Edice:Lecture notes in computer science, 2142
Témata:
Computer logic > Congresses.
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo otaguje tento záznam!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Popis
Fyzický popis:xii, 614 p. : ill. ; 24 cm.
Bibliografie:Includes bibliographical references and index.
ISBN:3540425543 (pbk. : alk. paper)
ISSN:0302-9743 ;

Podobné jednotky