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 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 MATHEMATICS 1341: ELLIPTIC BOUNDARY VALUE PROBLEMS ON CORNER DOMAINS
1988 年出版259 页ISBN：354050169X;038750169X
A Second Course in Formal Languages and Automata Theory
2009 年出版240 页ISBN：9780521865722
LECTURE NOTES IN CHEMISTRY 29 UNIFIED VALENCE BOND THEORY OF ELECTRONIC STRUCTURE
N.D.EPIOTIS1982 年出版305 页ISBN：3540114912
The 4th International Conference on Computer Algebra in Physical Research
1991 年出版453 页ISBN：9810206879
Geometric Algebra for Computer Science An Object-oriented Approach to Geometry
2007 年出版626 页ISBN：9780123694652
