Lecture Notes in Artificial Intelligence 4130 Automated Reasoning Third International Joint Conferen
IJCAR 20062006 年出版680 页ISBN:3540371877
Lecture Notes in Artificial Intelligence 3123 Natural Language Generation Third International Confer
INLG 20042004 年出版219 页ISBN:3540223401
Lecture Notes in Artificial Intelligence 3097 Automated Reasoning Second International Joint Confere
IJCAR 20042004 年出版492 页ISBN:3540223452
Lecture Notes In Control and Information Sciences 363 Nonlinear Observers and Applications
Gildas Besancon2007 年出版224 页ISBN:
LECTURE NOTES IN MATHEMATICS 1038: ALGEBRA IN A LOCALIC TOPOS WITH APPLICATIONS TO RING THEORY
1983 年出版243 页ISBN:3540127119;0387127119
Lecture Notes in Artificial Intelligence 3550 Multiagent System Technologies Third German Conference
MATES 20052005 年出版246 页ISBN:354028740X
Lecture Notes in Artificial Intelligence 2980 Diagrammatic Representation and Inference Third Intern
Diagrams 20042004 年出版448 页ISBN:354021268X
LECTURE NOTES IN MATHEMATICS 1341: ELLIPTIC BOUNDARY VALUE PROBLEMS ON CORNER DOMAINS
1988 年出版259 页ISBN:354050169X;038750169X