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...”

Cover Image

2

Automated Deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13 - 17, 1997, Proceedings

Published 1997

Springer Berlin Heidelberg

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