Lecture Notes in Computer Science 4162 Mathematical Foundations of Computer Science 2006 31st Intern
MFCS 20062006 年出版814 页ISBN：3540377913
Lecture Notes in Computer Science 130 Axiomatising the Logic of Computer Programming
1982 年出版304 页ISBN：3540112103
Lecture Notes in Computer Science 125 Logic of Programs Workshop
ETH Zurich1981 年出版245 页ISBN：
Lecture Notes in Artificial Intelligence 4617 Modeling Decisions for Artificial Intelligence 4th Int
MDAI 20072007 年出版502 页ISBN：9783540737285
Lecture Notes in Artificial Intelligence 4120 Artificial Intelligence and Symbolic Computation 8th I
AISC 20062006 年出版269 页ISBN：3540397280
Lecture Notes in Artificial Intelligence 3949 Artificial Intelligence and Neural Networks 14th Turki
TAINN 20052006 年出版227 页ISBN：3540367136
Lecture Notes in Artificial Intelligence 3249 Artificial Intelligence and Symbolic Computation 7th I
AISC 20042004 年出版285 页ISBN：3540232125
Lecture Notes in Artificial Intelligence 4363 Logic Language
and Computation 6th International Tbilisi Symposium on Logic2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 4428 Model Checking and Artificial Intelligence 4th Worksho
MoChArt IV Riva Del Garda2222 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3801 Computational Intelligence and Security International
CIS 2005 Xian2222 年出版0 页ISBN：
