Buy books written by Gilles Dowek Available at Bookswagon
  • Cart Icon
    • Logo1
    Login & Sign up
    AddBanner
    Home icon Home
    Account Icon Account
    Wishlist Icon Wishlist
    Cart Icon Cart
    humburger icon Categories
    Close

    Refine your Search

    Availability

    Shipping Time

    Source

    Binding

    Language

    Publication Year

    Filter By Category
    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

    17 results found
    List viewGrid view
    Sort By:
    1.
    Computation, Proof, Machine
    Computation, Proof, Machine
    By: Gilles Dowek, Marion Roman, Pierre Guillot
    Publisher: Cambridge University Press
    No Review Yet
    AED539
    Binding:
    Paperback
    Release:
    05 May 2015
    Language:
    freeng
    International Edition
    Ships within 26-28 Days Explain..
    Free Shipping in UAE.
    2.
    Introduction to the Theory of Programming Languages
    Introduction to the Theory of Programming Languages
    By: Gilles Dowek, Jean-Jacques Lévy
    Publisher: Springer London Ltd
    No Review Yet
    AED366
    Binding:
    Paperback
    Release:
    15 Dec 2010
    Language:
    English
    International Edition
    Ships within 22-24 Days Explain..
    Free Shipping in UAE.
    3.
    Proofs and Algorithms
    Proofs and Algorithms
    By: Gilles Dowek
    Publisher: Springer London Ltd
    No Review Yet
    AED366
    Binding:
    Paperback
    Release:
    14 Jan 2011
    Language:
    English
    International Edition
    Ships within 22-24 Days Explain..
    Free Shipping in UAE.
    4.
    Computation, Proof, Machine
    Computation, Proof, Machine
    By: Gilles Dowek, Marion Roman, Pierre Guillot
    Publisher: Cambridge University Press
    No Review Yet
    AED859
    Binding:
    Hardback
    Release:
    05 May 2015
    Language:
    freeng
    International Edition
    Ships within 22-24 Days Explain..
    Free Shipping in UAE.
    5.
    Principles of Programming Languages
    Principles of Programming Languages
    By: Gilles Dowek
    Publisher: Springer London Ltd
    No Review Yet
    AED343
    Binding:
    Paperback
    Release:
    13 Mar 2009
    Language:
    English
    International Edition
    Ships within 22-24 Days Explain..
    Free Shipping in UAE.
    6.
    Automated Reasoning
    Automated Reasoning
    By: Gilles Dowek, Peter Baumgartner, Alessandro Armando
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED604
    Binding:
    Paperback
    Release:
    25 Jul 2008
    Language:
    English
    International Edition
    Ships within 20-22 Days Explain..
    Free Shipping in UAE.
    7.
    Rewriting and Typed Lambda Calculi
    Rewriting and Typed Lambda Calculi
    By: Gilles Dowek
    Publisher: Springer International Publishing AG
    No Review Yet
    AED600
    Binding:
    Paperback
    Release:
    15 Jul 2014
    Language:
    English
    International Edition
    Ships within 22-24 Days Explain..
    Free Shipping in UAE.
    8.
    Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    By: Gilles Dowek, Yves Bertot, Andre Hirschowitz, Christine Paulin, Laurent Thery
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED597
    Binding:
    Paperback
    Release:
    01 Sep 1999
    Language:
    English
    International Edition
    Ships within 22-24 Days Explain..
    Free Shipping in UAE.
    9.
    Higher-Order Algebra, Logic, and Term Rewriting
    Higher-Order Algebra, Logic, and Term Rewriting
    By: Bernhard Möller, Gilles Dowek, Jan Heering, Karl Meinke
    Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
    No Review Yet
    AED595
    Binding:
    Paperback
    Release:
    08 May 1996
    Language:
    English
    International Edition
    Ships within 22-24 Days Explain..
    Free Shipping in UAE.
    10.
    La Logica
    La Logica
    By: Gilles Dowek
    Publisher: Siglo XXI Ediciones
    No Review Yet
    AED164
    Binding:
    Paperback
    Release:
    01 Mar 2002
    Language:
    engspa
    Out of Stock
    Notify me when this book is in stockNotify Me
    11.
    Automated Reasoning
    Automated Reasoning
    By: Gilles Dowek, Peter Baumgartner, Alessandro Armando
    Publisher: Springer
    No Review Yet
    AED245
    Binding:
    Paperback
    Release:
    12 May 2009
    Out of Stock
    Notify me when this book is in stockNotify Me
    12.
    Higher-Order Algebra, Logic, and Term Rewriting
    Higher-Order Algebra, Logic, and Term Rewriting
    By: Gilles Dowek, Jan Heering, Karl Meinke
    Publisher: Springer
    No Review Yet
    AED245
    Binding:
    Paperback
    Release:
    15 Jan 2014
    Out of Stock
    Notify me when this book is in stockNotify Me
    13.
    Computation, Proof, Machine
    Computation, Proof, Machine
    By: Gilles Dowek, Marion Roman, Pierre Guillot
    Publisher: Cambridge University Press
    No Review Yet
    AED1,367
    Binding:
    Digital download and online
    Release:
    05 May 2015
    Language:
    freeng
    Out of Stock
    Notify me when this book is in stockNotify Me
    14.
    Introduction to the Theory of Programming Languages
    Introduction to the Theory of Programming Languages
    By: Gilles Dowek, Jean-Jacques L Vy (Institut National de Recherche en Informatique et en Automatique (INRIA), Rocquencourt)
    Publisher: Springer
    No Review Yet
    AED229
    Binding:
    Paperback
    Release:
    30 Mar 2011
    Out of Stock
    Notify me when this book is in stockNotify Me
    15.
    Proofs and Algorithms
    Proofs and Algorithms
    By: Gilles Dowek
    Publisher: Springer
    No Review Yet
    AED245
    Binding:
    Paperback
    Release:
    30 Mar 2011
    Out of Stock
    Notify me when this book is in stockNotify Me
    16.
    Higher-Order Algebra, Logic, and Term Rewriting
    Higher-Order Algebra, Logic, and Term Rewriting
    By: Gilles Dowek, Bernhard Muller, Jan Heering, Karl Meinke
    Publisher: Springer
    No Review Yet
    AED661
    Binding:
    Digital (delivered electronically)
    Release:
    01 Nov 2006
    Language:
    English
    Out of Stock
    Notify me when this book is in stockNotify Me
    17.
    Theorem Proving in Higher Order Logics
    Theorem Proving in Higher Order Logics
    By: Gilles Dowek, Yves Bertot, Andre Hirschowitz
    Publisher: Springer
    No Review Yet
    AED245
    Binding:
    Paperback
    Release:
    15 Jan 2014
    Out of Stock
    Notify me when this book is in stockNotify Me
    No more records found