Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
Author(s)
Bibliographic Information
Automated deduction, CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
(Lecture notes in computer science, 814 . Lecture notes in artificial intelligence)
Springer-Verlag, c1994
- : us
- : gw
Available at / 58 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: gwL/N||LNCS||81494027212
-
University of Tsukuba Library, Library on Library and Information Science
: us007.08:L-49:814941002480
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index