Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Automated Deduction - CADE-14

by William McCune.

Series: Lecture Notes in Computer ScienceEdition: 1997Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1997Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Automated Deduction in Equational Logic and Cubic Curves

by William McCune, R. Padmanabhan.

Series: Lecture Notes in Computer ScienceEdition: 1996Material type: Computer file Computer file; Format: electronic Publication details: Springer Berlin Heidelberg 1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart