Lecture Notes in Artificial Intelligence 3259 Computational Logic in Multi-Agent Systems 4th Interna
CLIMA IV Fort Lauderdale2222 年出版0 页ISBN：
12th IAPR International Conference on Pattern Recognition Volume I Conference A:Computer Vision & Im
1994 年出版875 页ISBN：0818662654
Mathematics Mechanization: Mechanical Geometry Theorem-Proving
Mechanical Geometry Problem-Solving and Polynomial Equations-Solving2000 年出版420 页ISBN：7030066863
Lecture Notes in Artificial Intelligence 4428 Model Checking and Artificial Intelligence 4th Worksho
MoChArt IV Riva Del Garda2222 年出版0 页ISBN：
LECTURE NOTES IN MATHEMATICS 1288: GENERALIZED ANALYTIC FUNCTIONS ON RIEMANN SURFACES
1987 年出版128 页ISBN：3540185720;0387185720
LECTURE NOTES IN MATHEMATICS 1391: PROBABILITY THEORY ON VECTOR SPACES IV
1989 年出版429 页ISBN：3540515488;0387515488
LECTURE NOTES IN MATHEMATICS 999: ITERATES OF MAPS ON A INTERVAL
1983 年出版205 页ISBN：3540123229;0387123229
LECTURE NOTES IN MATHEMATICS 188 SYMPOSIUM ON SEMANTICS OF ALGORITHMIC LANGUAGES
E.ENGELER2222 年出版372 页ISBN：3540053778
Lecture Notes in Artificial Intelligence 2281 Progress in Discovery Science Final Report of the Japa
2002 年出版681 页ISBN：3540433384
