Lecture Notes in Artificial Intelligence

Automated Deduction — CADE-12

12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings

Editors: Bundy, Alan (Ed.)

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-48467-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-58156-7
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
About this book

This volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994.
The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.

Table of contents (1 chapters)

  • Mechanically proving geometry theorems using a combination of Wu's method and Collins' method

    Nicholas Freitag McPhee, Shang-Ching Chou, Xiao-Shan Gao

    Pages

Buy this book

eBook $69.99
price for USA (gross)
  • ISBN 978-3-540-48467-7
  • Digitally watermarked, DRM-free
  • Included format:
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $99.00
price for USA
  • ISBN 978-3-540-58156-7
  • Free shipping for individuals worldwide
  • This title is currently reprinting. You can pre-order your copy now.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Automated Deduction — CADE-12
Book Subtitle
12th International Conference on Automated Deduction Nancy, France, June 26–July 1, 1994 Proceedings
Editors
  • Alan Bundy
Series Title
Lecture Notes in Artificial Intelligence
Series Volume
814
Copyright
1994
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48467-7
DOI
10.1007/3-540-58156-1
Softcover ISBN
978-3-540-58156-7
Edition Number
1
Number of Pages
XVI, 852
Topics