24 results
Type of media (3)
Availability (2)
Language (3)
Classification (8)
Year
Persons
Publishers
Sort by
Results per page
Filter
24 results

Your search for Gilles Dowek

  1. Cover: The Age of Algorithms - Cambridge University Press
    Serge Abiteboul | Gilles Dowek
    The Age of Algorithms
    04/2020
    Cambridge University Press
    9781108655941 (ISBN)
    E-Book
    PDF
    Other editions
    €15.49
    Available for download
  2. Cover: Computation, Proof, Machine - Cambridge University Press
    Gilles Dowek
    Computation, Proof, Machine
    Mathematics Enters a New Age
    05/2015
    Cambridge University Press
    9781316379127 (ISBN)
    E-Book
    ePUB
    Other editions
    €36.99
    Available for download
  3. Cover: Computation, Proof, Machine - Cambridge University Press
    Gilles Dowek
    Computation, Proof, Machine
    Mathematics Enters a New Age
    04/2015
    Cambridge University Press
    9781316382721 (ISBN)
    E-Book
    PDF
    Other editions
    €42.99
    Available for download
  4. Cover: Rewriting and Typed Lambda Calculi - Springer
    Gilles Dowek
    Rewriting and Typed Lambda Calculi
    Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    07/2014
    Springer
    9783319089188 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Introduction to the Theory of Programming Languages - Springer
    Gilles Dowek | Jean-Jacques Lévy
    Introduction to the Theory of Programming Languages
    12/2010
    1st EDN1st Edition
    Springer
    9780857290762 (ISBN)
    E-Book
    PDF
    Other editions
    €36.99
    Available for download
  6. Cover: Proofs and Algorithms - Springer
    Gilles Dowek
    Proofs and Algorithms
    An Introduction to Logic and Computability
    01/2011
    1st EDN1st Edition
    Springer
    9780857291219 (ISBN)
    E-Book
    PDF
    Other editions
    €36.99
    Available for download
  7. Cover: Theorem Proving in Higher Order Logics - Springer
    Yves Bertot | Gilles Dowek | Andre Hirschowitz
    Theorem Proving in Higher Order Logics
    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    07/2003
    Springer
    9783540482567 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Principles of Programming Languages - Springer
    Gilles Dowek
    Principles of Programming Languages
    04/2009
    1st EDN1st Edition
    Springer
    9781848820326 (ISBN)
    E-Book
    PDF
    Other editions
    €35.30
    Available for download
  9. Cover: The Age of Algorithms - Cambridge University Press
    Serge Abiteboul | Gilles Dowek
    The Age of Algorithms
    04/2020
    Cambridge University Press
    9781108484572 (ISBN)
    Book
    Hardback
    Other editions
    €65.00
    Shipment within 15-20 days
  10. Cover: The Age of Algorithms - Cambridge University Press
    Serge Abiteboul | Gilles Dowek
    The Age of Algorithms
    04/2020
    Cambridge University Press
    9781108745420 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €22.50
    Shipment within 15-20 days
  11. Cover: Rewriting and Typed Lambda Calculi - Springer
    Gilles Dowek
    Rewriting and Typed Lambda Calculi
    Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings
    07/2014
    Springer
    9783319089171 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  12. Cover: Computation, Proof, Machine - Cambridge University Press
    Gilles Dowek
    Computation, Proof, Machine
    Mathematics Enters a New Age
    05/2015
    Cambridge University Press
    9780521118019 (ISBN)
    Book
    Hardback
    Other editions
    €113.30
    Shipment within 15-20 days
  13. Cover: Computation, Proof, Machine - Cambridge University Press
    Gilles Dowek
    Computation, Proof, Machine
    Mathematics Enters a New Age
    05/2015
    Cambridge University Press
    9780521133777 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €63.10
    Shipment within 15-20 days
  14. Cover: Automated Reasoning - Springer
    Alessandro Armando | Peter Baumgartner | Gilles Dowek
    Automated Reasoning
    4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings
    07/2008
    Springer
    9783540710691 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  15. Cover: Proofs and Algorithms - Springer
    Gilles Dowek
    Proofs and Algorithms
    An Introduction to Logic and Computability
    01/2011
    Springer
    9780857291202 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €37.40
    Shipment within 15-20 days
  16. Cover: Introduction to the Theory of Programming Languages - Springer
    Gilles Dowek | Jean-Jacques Lévy
    Introduction to the Theory of Programming Languages
    12/2010
    Springer
    9780857290755 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €37.40
    Shipment within 15-20 days
  17. Cover: Theorem Proving in Higher Order Logics - Springer
    Yves Bertot | Gilles Dowek | Andre Hirschowitz
    Theorem Proving in Higher Order Logics
    12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
    09/1999
    Springer
    9783540664635 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Higher-Order Algebra, Logic, and Term Rewriting - Springer
    Gilles Dowek | Jan Heering | Karl Meinke
    Higher-Order Algebra, Logic, and Term Rewriting
    Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
    05/1996
    Springer
    9783540612544 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  19. Cover: Principles of Programming Languages - Springer
    Gilles Dowek
    Principles of Programming Languages
    03/2009
    Springer
    9781848820319 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €35.30
    Shipment within 15-20 days
  20. Cover: Logik - Lübbe
    Gilles Dowek
    Logik
    10/1998
    Lübbe
    9783404930111 (ISBN)
    Book
    Paperback/Softback
    €6.45
    Article not available
    2. of 2