An edition of Automated deduction in equational logic and cubic curves
(1996)
Automated deduction in equational logic and cubic curves
by W. McCune
Share
×Close
This work doesn't have a description yet. Can you add one?
Check nearby libraries
Buy this book
Previews available in: English
Subjects
Algebraic Curves, Automatic theorem proving, Curves, Algebraic, Algebraische Kurve, Gleichungstheorie, Automatische bewijsvoering, Deduktion, Mathematische Logik, Theorie de la Preuve, Automatisches Beweisverfahren, Demonstration automatique, Theoremes, Algebraic Geometry, Computer graphics, Symbolic and mathematical Logic, Computer science, Artificial intelligence| Edition | Availability |
|---|---|
1
Automated deduction in equational logic and cubic curves
1996, Springer
in English
3540613986 9783540613985
|
aaaa
|
Book Details
Edition Notes
Includes bibliographical references (p. [219]-223) and index.
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| August 1, 2024 | Edited by MARC Bot | import existing book |
| October 5, 2021 | Edited by ImportBot | import existing book |
| June 28, 2019 | Edited by MARC Bot | import existing book |
| December 19, 2018 | Edited by ImportBot | import existing book |
| December 10, 2009 | Created by WorkBot | add works page |