01274nam a2200349 4500 DLU030022900 ##20030123090409.0 ##010821s2001 gw a b 101 0 eng 2001049477 3540425543 (pbk. : alk. paper) DLC DLC DLC pcc QA76.9.L63 C68 2001 005.101 SL Workshop on Computer Science Logic (15th : 2001 : Paris, France) Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings / Laurent Fribourg (ed.). Berlin : New York : Springer, 2001. xii, 614 p. : ill. ; 24 cm. Lecture notes in computer science, 0302-9743 ; 2142 Includes bibliographical references and index. Computer logic Congresses. Fribourg, Laurent, 1957- European Association for Computer Science Logic. Conference (10th : 2001 : Paris, France) 115.7 DLU True Thái Thị Thanh Thủy G A SH Thư viện Trường Đại học Đà Lạt