A Machine Program for Theorem-proving

A Machine Program for Theorem-proving

Product ID: 1342126289 Condition: New

$ 115
includes Duties & VAT
Delivery: 10-20 working days
Ships from USA warehouse.
Secure Transaction
VISA Mastercard ozow

Product Description

A Machine Program for Theorem-proving

Technical Specifications

Country
USA
Brand
Palala Press
Manufacturer
Palala Press
Binding
Hardcover
Height
9.21
Length
6.14
Weight
0.52029093832
Width
0.25
NumberOfItems
1
Author
Davis, Martin, Logemann, George, Loveland, Donald