AUTOMATIC PROGRAMMING. VOLUME 7 PART 4. AUTOMATIC THEOREM PROVING BASED ON RESOLUTION.
PIROTTE A.
Sold by Libros Ambigú, Madrid, M, Spain
AbeBooks Seller since September 4, 2014
Used
Condition: Normal
Ships from Spain to U.S.A.
Quantity: 1 available
Add to basket