Gilles Dowek

Gilles DowekGilles Dowek is a researcher in computer science. He has published several popular science books, as well as books on epistemology of computer science and ethics in the digital world. His book Computation, Proof, Machine (Cambridge, 2015) has receive the French Academy philosophy award. Read More Read Less

12 results found
List viewGrid view
Sort By:
1.
Computation, Proof, Machine59 %
No Review Yet
₹3,714
₹1,523
Binding:
Paperback
Release:
05 May 2015
Language:
English
Available
Ships within 1-2 Days Explain..
2.
Introduction to the Theory of Programming Languages43 %
Publisher: Springer
No Review Yet
₹3,310
₹1,887
Binding:
Paperback
Release:
15 Dec 2010
Language:
English
Available
Ships within 4-6 Days Explain..
3.
Age of Algorithms37 %
Available
Ships within 2-4 Days Explain..
4.
Proofs and Algorithms37 %
Publisher: Springer
No Review Yet
₹3,356
₹2,114
Binding:
Paperback
Release:
14 Jan 2011
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Rewriting and Typed Lambda Calculi37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
15 Jul 2014
Language:
English
Available
Ships within 12-14 Days Explain..
6.
Higher-Order Algebra, Logic, and Term Rewriting
Publisher: Springer
No Review Yet
₹2,303
Binding:
Paperback
Release:
08 May 1996
Language:
English
Available
Ships within 4-6 Days Explain..
7.
Computation, Proof, Machine38 %
No Review Yet
₹8,154
₹5,055
Binding:
Hardback
Release:
05 May 2015
Language:
English
Available
Ships within 4-6 Days Explain..
8.
Automated Reasoning
No Review Yet
₹1,269
Binding:
Paperback
Release:
01 Oct 2008
Language:
English
Available
Ships within 4-6 Days Explain..
9.
Age of Algorithms3 % NR
International Edition
Ships within 14-16 Days Explain..
Free Shipping in India and low cost Worldwide.
12.
Rewriting and Typed Lambda Calculi1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
20 Jul 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found