Humburger Icon
Let's Explore, Bibiliophile
close menu
Bookswagon-24x7 online bookstore
close menu
My Account
Michael A. McRobbie

Michael A. McRobbie

2 results found
List viewGrid view
Sort By:
1.
Automated Deduction - Cade-1337 %
No Review Yet
₹11,449
₹7,213
Binding:
Paperback
Release:
01 Jul 1996
Language:
English
Available
Ships within 14-16 Days Explain..
2.
Automated Theorem-proving in Non-classical Logics
No Review Yet
₹0
Binding:
Paperback
Release:
/01/1988
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA