7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings
Author(s)
Bibliographic Information
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings
（Lecture notes in computer science, 170）
Springer-Verlag, 1984
- : gw
- : us
Available at / 59 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||17084029928
-
Science and Technology Library of Gunma University図書館
: gw007.08:L49:170208800330,
007:L49:(170)208800330 -
University of Tsukuba Library, Library on Library and Information Science
Germany007.08:L-49:170881003780
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies
