Ian Mackie

Ian MackieIan Mackie earned his MSc and PhD degrees in computer science at Imperial College London. He is editor-in-chief of an undergraduate textbook series and co-author of an advanced textbook on proof theory and automated deduction.

5 results found
List viewGrid view
Sort By:
1.
Semantic Techniques in Quantum Computation38 %
No Review Yet
₹10,307
₹6,390
Binding:
Hardback
Release:
30 Nov 2009
Language:
English
Available
Ships within 4-6 Days Explain..
2.
Anzac Battlefield2 % NR
No Review Yet
₹6,747
₹6,612
Binding:
Hardback
Release:
05 Jan 2016
Language:
English
International Edition
Ships within 12-14 Days Explain..
Free Shipping in India and low cost Worldwide.
3.
X-Men Epic Collection: Mutant Genesis35 %
Publisher: Marvel Comics
No Review Yet
₹3,119
₹2,027
Binding:
Paperback
Release:
22 Jun 2021
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
4.
Proof Theory and Automated DeductionNR
No Review Yet
₹8,800
Binding:
Hardback
Release:
31 May 1997
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
Semantic Techniques in Quantum Computation32 % NR
No Review Yet
₹10,080
₹6,865
Binding:
Digital download and online
Release:
05 Jul 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found
ASK VIDYA