Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Product ID: 082185027X
Condition: New
Sold Out
Product Description
Automated Theorem Proving: After 25 Years (Contemporary Mathematics)
Technical Specifications
Country
USA
Manufacturer
Amer Mathematical Society
Binding
Paperback
Height
10.25
Length
7
Weight
1.10010668738
Width
1
NumberOfItems
1
Author
Bledsoe, W. W.
You might also like
Holy Land Market Four Worry Heart-Shaped Gemstone Set of 4 Natural Semi-Precious Worry Stones in Multiple Colors
Ted Fair: Jubilee
Cooperative Learning: A Standard for High Achievement (In A Nutshell Series)
Michael Northrup: Beautiful Ecstasy
The Key to Ultimate Health
The Solomons Campaigns, 1942-1943: From Guadalcanal to Bougainville, Pacific War Turning Point
Michael Schmelling: Shut Up Truth
Cooking for David: A Culinary Dialysis Cookbook