Check nearby libraries
Buy this book
This edition 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, Curves, algebraicShowing 1 featured edition. View all 1 editions?
Edition | Availability |
---|---|
1
Automated deduction in equational logic and cubic curves
1996, Springer
in English
3540613986 9783540613985
|
aaaa
Libraries near you:
WorldCat
|
Book Details
Published in
Berlin, New York
Edition Notes
Includes bibliographical references (p. [219]-223) and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created April 1, 2008
- 11 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
October 5, 2021 | Edited by ImportBot | import existing book |
November 23, 2020 | Edited by MARC Bot | import existing book |
July 1, 2019 | Edited by MARC Bot | replacing ocaid with lendable copy |
June 28, 2019 | Edited by MARC Bot | import existing book |
April 1, 2008 | Created by an anonymous user | Imported from Scriblio MARC record. |