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

Inbunden, Engelska, 2015

1 429 kr

Skickas inom 7-10 vardagar

Computation, Proof, Machine

Mathematics Enters a New Age

AvGilles Dowek

Häftad, Engelska, 2015

749 kr

Skickas inom 7-10 vardagar

Introduction to the Theory of Programming Languages

AvGilles Dowek,Jean-Jacques Lévy

Häftad, Engelska, 2010

509 kr

Skickas inom 10-15 vardagar

Proofs and Algorithms

An Introduction to Logic and Computability

AvGilles Dowek

Häftad, Engelska, 2011

509 kr

Skickas inom 10-15 vardagar

The Age of Algorithms

AvSerge Abiteboul,Gilles Dowek

Inbunden, Engelska, 2020

769 kr

Skickas inom 7-10 vardagar

The Age of Algorithms

AvSerge Abiteboul,Gilles Dowek

Häftad, Engelska, 2020

289 kr

Skickas inom 7-10 vardagar

Principles of Programming Languages

AvGilles Dowek

Häftad, Engelska, 2009

479 kr

Skickas inom 10-15 vardagar

Del 8560 - Lecture Notes in Computer Science

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

709 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 Heeringm. fl.

Häftad, Engelska, 1996

729 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 Dowekm. fl.

Häftad, Engelska, 1999

709 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 Baumgartnerm. fl.

Häftad, Engelska, 2008

1 029 kr

Skickas inom 3-6 vardagar