Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
IEEE Computer Society1992 年出版471 页ISBN：
CONTRIBUTIONS TO CURRENT CHALLENGES IN MATHEMATICAL FLUID MECHANICS
GIOVANNI P.GALDI JOHN G.HEYWOOD ROLF RANNACHER2222 年出版151 页ISBN：3764371048
Lecture Notes in Computer Science 4497 Computation and Logic in the Real World Third Conference on C
CiE 20072007 年出版826 页ISBN：9783540730002
Lecture Notes in Artificial Intelligence 2605 Mechanizing Mathematical Reasoning Essays in Honro of
2005 年出版565 页ISBN：3540250514
What's Happening in the Mathematical Sciences Volume 10
Dana Mackenzie ; Barry Cipra2015 年出版112 页ISBN：1470422042
MATHEMATICAL MODELS FOR HANDLING PARTIAL KNOWLEDGE IN ARTIFICIAL INTELLIGENCE
2222 年出版308 页ISBN：0306450763
MATHEMATICAL FOUNDATIONS IN ENGINEERING AND SCIENCE ALGBRA AND ANALYSIS
1981 年出版484 页ISBN：0135610354
URBAN EVOLUTION STUDIES IN THE MATHEMATICAL ECOLOGY OF CITIES
1985 年出版184 页ISBN：0198232497
A MATHEMATICAL TREATMENT OF DYNAMICAL MODELS IN BIOLOGICAL SCIENCE
1991 年出版183 页ISBN：0132217716
