Donald Loveland

Donald Loveland

6 results found
List viewGrid view
Sort By:
1.
Automated Theorem Proving37 %
No Review Yet
₹9,600
₹6,048
Binding:
Paperback
Release:
01 Jan 1987
Language:
English
Available
Ships within 12-14 Days Explain..
4.
Three Views of Logic23 % NR
No Review Yet
₹5,625
₹4,331
Binding:
Paperback
Release:
26 Jan 2014
Language:
English
International Edition
Ships within 18-20 Days Explain..
Free Shipping in India and low cost Worldwide.
5.
Automated Theorem ProvingNR
No Review Yet
₹14,494
Binding:
PAPERBACK
Release:
15 Dec 1984
Language:
English
International Edition
Ships within 10-12 Days Explain..
Free Shipping in India and low cost Worldwide.
6.
Machine Program for Theorem-proving6 % NR
No Review Yet
₹1,004
₹944
Binding:
Paperback
Release:
02 Mar 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found