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 /

Shranjeno v:
Bibliografske podrobnosti
Nhiều tác giả của công ty: Workshop on Computer Science Logic Paris, France), European Association for Computer Science Logic. Conference
Drugi avtorji: Fribourg, Laurent, 1957-
Format: Sách giấy
Izdano: Berlin : New York : Springer, 2001.
Serija:Lecture notes in computer science, 2142
Teme:
Computer logic > Congresses.
Oznake: Označite
Brez oznak, prvi označite!
Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt
Opis
Fizični opis:xii, 614 p. : ill. ; 24 cm.
Bibliografija:Includes bibliographical references and index.
ISBN:3540425543 (pbk. : alk. paper)
ISSN:0302-9743 ;

Podobne knjige/članki