Your search returned 2 results.

Not what you expected? Check for suggestions
1.
Automated theorem proving : after 25 years

by Bledsoe W W | Loveland Donald W.

Series: Contemporary mathematics ; v. 29Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart
2.
Experimental arithmetic,

by E C Dade and H Zassenhaus | E T Irons | E T Parker | H D Block | Hao Wang | Harvey Cohn | Martin Davis | Peter Elias | R J Walker.

Series: Proceedings of symposia in applied mathematics ; v. 15Material type: Computer file Computer file; Format: electronic Publication details: Providence, American Mathematical Society, 1963Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

Add to cart