Lecture Notes in Computer Science 3049 Program Development in Computational Logic A Decade of Resear
2004 年出版539 页ISBN：3540221522
Lecture Notes in Computer Science 4407 Logic-Based Program Synthesis and Transformation 16th Interna
LOPSTR 20062007 年出版236 页ISBN：9783540714095
Lecture Notes in Computer Science 2283 Isabelle/HOL A Proof Assistant for Higher-Order Logic
2002 年出版218 页ISBN：3540433767
Lecture Notes in Computer Science 3422 From Computer Literacy to Informatics FundamentalsInternation
ISSEP 20052005 年出版203 页ISBN：354025336X
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
FOUNDATIONS OF COMPUTER SCIENCE FROM DATA MANIPULATION TO THEORY OF COMPUTATION
（美）弗若赞（FOROUZAN2004 年出版384 页ISBN：
Lecture Notes in Computer Science 3379 From Integrated Publication and Information Systems to Virtua
2005 年出版320 页ISBN：3540245510
Lecture Notes in Computer Science 3915 Knowledge Discovery from XML Documents First International Wo
KDXD 20062006 年出版105 页ISBN：3540331808
Lecture Notes in Computer Science 4684 Evolvable Systems:From Biology to Hardware 7th International
ICES 20072007 年出版446 页ISBN：9783540746256
Lecture Notes in Computer Science 3637 Evolvable Systems:From Biology to Hardware 6th International
ICES 20052005 年出版227 页ISBN：3540287361
