Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1095)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (8 chapters)
Keywords
About this book
Mathematicians will find many new results from equational logic, universal algebra, and algebraic geometry and benefit from the state-of-the-art outline of the capabilities of automated deduction techniques. Computer scientists will find a large and varied source of theorems and problems that will be useful in designing and evaluation automated theorem proving systems and strategies.
Bibliographic Information
Book Title: Automated Deduction in Equational Logic and Cubic Curves
Authors: W. McCune, R. Padmanabhan
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/3-540-61398-6
Publisher: Springer Berlin, Heidelberg
-
eBook Packages: Springer Book Archive
Copyright Information: Springer-Verlag Berlin Heidelberg 1996
Softcover ISBN: 978-3-540-61398-5Published: 12 June 1996
eBook ISBN: 978-3-540-68522-7Published: 03 July 2005
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 238
Topics: Artificial Intelligence, Programming Languages, Compilers, Interpreters, Mathematics of Computing, Mathematical Logic and Formal Languages, Computer Graphics, Mathematical Logic and Foundations