9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings
Author(s)
Bibliographic Information
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings
（Lecture notes in computer science, 310）
Springer-Verlag, c1988
- : gw
- : us
- Other Title
-
Ninth International Conference on Automated Deduction
CADE-9
Available at / 62 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||31088008209
-
Research Institute for Economics & Business Administration (RIEB) Library , Kobe University図書
: gw621.34-446-3101000078246
-
University of Tsukuba Library, Library on Library and Information Science
: gw007.08:L-49:310891016610
-
The University of Electro-Communications Library図庫
: U.S.548.96/L49/3102218806844,
: Germany549.98||L49||3102218806844 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references