Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Author(s)
Bibliographic Information
Automated deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
(Lecture notes in computer science, 2741 . Lecture notes in artificial intelligence)
Springer, c2003
Available at / 27 libraries
-
Library, Research Institute for Mathematical Sciences, Kyoto University数研
L/N||LNCS||274103031076
-
INTERNATIONAL CHRISTIAN UNIVERSITY LIBRARY図
V.2741007.6/L507/v.274106008161,
007.6/L507/v.274106008161 -
University of Tsukuba Library, Library on Library and Information Science
007.08-L49-274110003306117
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographies and index