Symposium on Automatic Demonstration
Author(s)
Bibliographic Information
Symposium on Automatic Demonstration
(Lecture notes in mathematics, 125)
Springer-Verlag, 1970
Available at / 74 libraries
-
INTERNATIONAL CHRISTIAN UNIVERSITY LIBRARY図
V.125410.8/L507/V.12501678018,
410.8/L507/V.12501678018 -
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
English or French
Includes bibliographies