Home / Authors / William McCune, R. Padmanabhan

Books by William McCune, R. Padmanabhan

All books by this author

1 books found
Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Automated Deduction in Equational Logic and Cubic Curves (L…
By: William McCune, R. Padmanabhan
View Details