MPG.eBooks - Search Results - "Lecture Notes in Artificial Intelligence"

Cover Image

1

Automated Deduction in Equational Logic and Cubic Curves

by McCune, William, Padmanabhan, R.
Published 1996

Springer Berlin Heidelberg

“...Lecture Notes in Artificial Intelligence...”