Lecture Notes in Artificial Intelligence 4246 Logic for Programming
Artificial Intelligence2006 年出版0 页ISBN：
Lecture Notes in Artificial Intelligence 3002 Metainformatics International Symposium
MIS 20032004 年出版213 页ISBN：3540220100
Lecture Notes in Artificial Intelligence 4790 Logic for Programming
Artificial Intelligence2007 年出版0 页ISBN：
Lecture Notes in Computer Science 3731 Formal Techniques for Networked and Distributed Systems-FORTE
2005 年出版558 页ISBN：354029189X
LECTURE NOTES IN MATHEMATICS 1445: REGULARITY THEORY FOR QUASILINEAR ELLIPTIC SYSTEMS AND MONGE-AMPE
1990 年出版128 页ISBN：3540531033;087531033
Lecture Notes in Computer Science 2968 Real-Time and Embedded Computing Systems and Applications 9th
RTCSA 20032004 年出版620 页ISBN：3540219749
Lecture Notes in Artificial Intelligence 2922 Advances in Agent Communication Intenational Workshop
ACL 20032004 年出版403 页ISBN：3540207694
LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES 10 THE MODELLING OF SYSTEMS WITH SMALL OBSERVATION
JAN M.MACIEJOWSKI1978 年出版242 页ISBN：3540090045
Lecture Notes in Artificial Intelligence 3558 Modeling Decisions for Artificial Intelligence Second
MDAI 20052005 年出版470 页ISBN：3540278710
Lecture Notes in Artificial Intelligence 3978 Recent Advances in Cinstraints Joint ERCIM/CoLogNET In
2006 年出版179 页ISBN：354034215X
