LECTURE NOTES IN MATHEMATICS 1429: LOGIC AND COMPUTER SCIENCE
1990 年出版169 页ISBN:3540527346;0387527346
DIFFERENTIAL FORMS IN MATHEMATICAL PHYSICS
C.VON WESTENHOLZ1978 年出版487 页ISBN:0720405378
MATHEMATICAL MODELS IN APPLIED MECHANICS
A.B.TAYLER2222 年出版280 页ISBN:0198535333
Lecture Notes in Artificial Intelligence 3835 Logic for Programming
Artificial Intellignce2005 年出版0 页ISBN:
Lecture Notes in Artificial Intelligence 3452 Logic for Programming
Artificial Intelligence2005 年出版0 页ISBN: