Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
Author(s)
Bibliographic Information
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
（Lecture notes in computer science, 1249 . Lecture notes in artificial intelligence）
Springer, c1997
Available at / 51 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
: pbk. : alk. paperL/N||LNCS||124997022722
-
Science and Technology Library of Gunma University図書館
: pbk : alk. paper007.08:L49:1249200001062
-
Kobe University Library for Science and Technology
: pbk. : alk. paper548-0-6//1249030009703881
-
University of Tsukuba Library, Library on Library and Information Science
pbk. : alk. paper007.08:L-49:1249971004610
-
Digital Library of Nara Institute of Science and Technology
pbk. : alk. paperAB||23||12490023205
-
Hiroshima Institute of Technology Library図書館
007.08||L||12490111391926,
: pbk : alk. paper007.08/L/12490111391926 -
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index