5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
Author(s)
Bibliographic Information
5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980
(Lecture notes in computer science, 87)
Springer-Verlag, 1980
- : gw
- : us
Available at / 55 libraries
-
Kobe University Library for Science and Technology
: us548-0-6//87031008805946,
548-0-6//871008805946 -
University of Tsukuba Library, Library on Library and Information Science
ger007.08:L-49:87881003330
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies