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
Automatic theorem proving., Curves, Algebraic.Showing 1 featured edition. View all 0 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
History
- Created December 19, 2018
- 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 |
December 19, 2018 | Edited by ImportBot | import existing book |