↓ Skip to main content

Automated deduction in equational logic and cubic curves

Overview of attention for book
Attention for Chapter 2: Otter and MACE
Altmetric Badge


25 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
Otter and MACE
Chapter number 2
Book title
Automated Deduction in Equational Logic and Cubic Curves
Published by
Springer, Berlin, Heidelberg, January 1996
DOI 10.1007/3-540-61398-6_2
Book ISBNs
978-3-54-061398-5, 978-3-54-068522-7