Home Advanced Search

Advanced Search - Page 1

Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Aarti Gupta (auth.), Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Proofs and Algorithms: An Introduction to Logic and Computability
  • PDF
  • English
  • Year: 2011
  • Author: Gilles Dowek (auth.)
Principles of programming languages
  • PDF
  • English
  • Year: 2009
  • Author: Gilles Dowek (auth.)
Proofs and algorithms: An introduction to logic and computability
  • PDF
  • English
  • Year: 2011
  • Author: Gilles Dowek (auth.)
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: James R. Larus (auth.), Aarti Gupta, Sharad Malik (eds.)
Principles of programming languages
  • PDF
  • English
  • Year: 2016
  • Author: Dowek, Gilles
La Lógica
  • PDF
  • Spanish
  • Year: 2001
  • Author: Gilles Dowek
Computation, Proof, Machine: Mathematics Enters a New Age
  • PDF
  • English
  • Year: 2015
  • Author: Gilles Dowek
Les démonstrations et les algorithmes - Introduction à la logique et à la calculabilité
  • DJVU
  • French
  • Year: 2010
  • Author: Gilles Dowek
Proofs and Algorithms: An Introduction to Logic and Computability (Undergraduate Topics in Computer Science)
  • EPUB
  • English
  • Author: Gilles Dowek
search