↓ Skip to main content

Automated deduction in equational logic and cubic curves

Overview of attention for book
Attention for Chapter 4: Other ( gL )-algebras
Altmetric Badge
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
Other ( gL )-algebras
Chapter number 4
Book title
Automated Deduction in Equational Logic and Cubic Curves
Published by
Springer, Berlin, Heidelberg, January 1996
DOI 10.1007/3-540-61398-6_4
Book ISBNs
978-3-54-061398-5, 978-3-54-068522-7