Hoppa till sidans huvudinnehåll

Gilles Dowek - Böcker

Visar alla böcker från författaren Gilles Dowek.
11 produkter

Computation, Proof, Machine

Mathematics Enters a New Age

AvGilles Dowek,Paris) Dowek, Gilles (Ecole Polytechnique

Inbunden, Engelska, 2015

1 379 kr

Skickas inom 10-15 vardagar

Computation, Proof, Machine

Mathematics Enters a New Age

AvGilles Dowek

Häftad, Engelska, 2015

719 kr

Skickas inom 10-15 vardagar

Introduction to the Theory of Programming Languages

AvGilles Dowek,Jean-Jacques Lévy

Häftad, Engelska, 2010

499 kr

Skickas inom 10-15 vardagar

Proofs and Algorithms

An Introduction to Logic and Computability

AvGilles Dowek

Häftad, Engelska, 2011

499 kr

Skickas inom 10-15 vardagar

The Age of Algorithms

AvSerge Abiteboul,Gilles Dowek m. fl.

Inbunden, Engelska, 2020

769 kr

Skickas inom 10-15 vardagar

The Age of Algorithms

AvSerge Abiteboul,Gilles Dowek m. fl.

Häftad, Engelska, 2020

279 kr

Skickas inom 10-15 vardagar

Principles of Programming Languages

AvGilles Dowek

Häftad, Engelska, 2009

479 kr

Skickas inom 10-15 vardagar

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

AvGilles Dowek

Häftad, Engelska, 2014

689 kr

Skickas inom 10-15 vardagar

Higher-Order Algebra, Logic, and Term Rewriting

Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers

AvGilles Dowek,Jan Heering m. fl.

Häftad, Engelska, 1996

689 kr

Skickas inom 10-15 vardagar

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

AvYves Bertot,Gilles Dowek m. fl.

Häftad, Engelska, 1999

689 kr

Skickas inom 10-15 vardagar

Automated Reasoning

4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings

AvAlessandro Armando,Peter Baumgartner m. fl.

Häftad, Engelska, 2008

719 kr

Skickas inom 10-15 vardagar