Logic in Computer Science Modelling and Reasoning about Systems 〔Second Edition〕
Michael Huth2004 年出版427 页ISBN：
Lecture Notes in Computer Science 3341 Algorithms and Computation 15th International Symposium
ISAAC 20042004 年出版935 页ISBN：3540241310
Lecture Notes in Computer Science 4288 Algorithms and Computation 17th International Symposium
ISAAC 20062006 年出版766 页ISBN：9783540496946
Lecture Notes in Computer Science 3827 Algorithms and Computation 16th International Symposium
ISAAC 20052005 年出版1190 页ISBN：3540309357
Lecture Notes in Computer Science 4835 Algorithms and Computation 18th International Symposium
ISAAC 20072007 年出版929 页ISBN：9783540771180
Lecture Notes in Computer Science 4683 Advances in Computation and Intelligence Second International
ISICA 20072007 年出版663 页ISBN：9783540745808
Lecture Notes in Computer Science 3162 Parameterized and Exact Computation First International Works
IWPEC 20042004 年出版293 页ISBN：3540230718
Lecture Notes in Computer Science 4169 Parameterized and Exact Computation Second International Work
IWPEC 20062006 年出版279 页ISBN：3540390987
Lecture Notes in Computer Science 4524 Web Reasoning and Rule Systems First International Conference
RR 20072007 年出版382 页ISBN：9783540729815
Lecture Notes in Computer Science 1386 Hybrid Systems:Computation and Control First International Wo
HSCC981998 年出版415 页ISBN：3540643583
