↓ Skip to main content

Automated deduction in equational logic and cubic curves

Overview of attention for book
Attention for Chapter 3: Algebras over algebraic curves
Altmetric Badge

Citations

dimensions_citation
33 Dimensions
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Algebras over algebraic curves
Chapter number 3
Book title
Automated Deduction in Equational Logic and Cubic Curves
Published by
Springer, Berlin, Heidelberg, January 1996
DOI 10.1007/3-540-61398-6_3
Book ISBNs
978-3-54-061398-5, 978-3-54-068522-7