Suchergebnisse für ""Gilles Dowek""

Computation, Proof, Machine
60,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Gilles Dowek
Computation, Proof, Machine
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
Mathematics Enters a New Age
5. Mai 2015
Cambridge University Press
Auch erhältlich als
Gebundenes Buch125,99 €
The Age of Algorithms
64,99 €
Versandfertig in über 4 Wochen
Versandkostenfrei*
Serge Abiteboul
Gilles Dowek
The Age of Algorithms
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
16. April 2020
Cambridge University Press
The Age of Algorithms
24,99 €
Versandfertig in 2-4 Wochen
Serge Abiteboul (Institut National de Recherche en Informatique et
Gilles Dowek
The Age of Algorithms
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
16. April 2020
Cambridge University Press
Logik
Gilles Dowek
Logik
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
1998
Bastei Lübbe
Thesaurus der exakten Wissenschaften
Charles Auffray
Gilles Dowek
Nayla Farouki
Thesaurus der exakten Wissenschaften
  (Aktuell noch keine Bewertungen)
Buch
2001
ZWEITAUSENDEINS
Computation, Proof, Machine
125,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gilles Dowek
Computation, Proof, Machine
  (Aktuell noch keine Bewertungen)
Gebundenes Buch
11. September 2017
Cambridge University Press
Proofs and Algorithms
26,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Gilles Dowek
Proofs and Algorithms
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
An Introduction to Logic and Computability
2011 edition
14. Januar 2011
Springer / Springer London / Springer, Berlin
12833764,978-0-85729-120-2
Principles of Programming Languages
27,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Gilles Dowek
Principles of Programming Languages
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2009
13. März 2009
Springer / Springer London / Springer, Berlin
12246946,978-1-84882-031-9
Introduction to the Theory of Programming Languages
26,99 €
Versandfertig in 6-10 Tagen
Versandkostenfrei*
Gilles Dowek
Jean-Jacques Lévy
Introduction to the Theory of Programming Languages
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
2011 edition
15. Dezember 2010
Springer / Springer London / Springer, Berlin
12828067,978-0-85729-075-5
Theorem Proving in Higher Order Logics
42,99 €
Versandfertig in 1-2 Wochen
Versandkostenfrei*
Yves Bertot / Gilles Dowek / Andre Hirschowitz / Christine Paulin / Laurent Thery (eds.)
Theorem Proving in Higher Order Logics
  (Aktuell noch keine Bewertungen)
Broschiertes Buch
12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings
1999.
1. September 1999
Springer / Springer Berlin Heidelberg / Springer, Berlin
10704460,978-3-540-66463-5


Ähnlichkeitssuche: Fact®Finder von OMIKRON