8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
Author(s)
Bibliographic Information
8th International Conference on Automated Deduction : Oxford, England, July 27-August 1, 1986 : proceedings
（Lecture notes in computer science, 230）
Springer-Verlag, c1986
- : gw
- : us
- Other Title
-
Eighth International Conference on Automated Deduction
CADE-8
Available at / 53 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||23086029232
-
University of Tsukuba Library, Library on Library and Information Science
: Germany007.08:L-49:230881000550
-
Hokkaido University, Faculty and Graduate School of Engineering図書
: GermanyDC19:001.6/L4973540167803
-
No Libraries matched.
- Remove all filters.