Home Advanced Search

Advanced Search - Page 1

Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Gilles Dowek (auth.), Robert Nieuwenhuis (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.)
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.)
Automated Deduction in Classical and Non-Classical Logics: Selected Papers
  • PDF
  • English
  • Year: 2000
  • Author: Gilles Dowek (auth.), Ricardo Caferra, Gernot Salzer (eds.)
Principles and Practice of Constraint Programming – CP 2010: 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Robert Nieuwenhuis (auth.), David Cohen (eds.)
Rewriting Techniques and Applications: 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Patrick Lincoln (auth.), Robert Nieuwenhuis (eds.)
Rewriting Techniques and Applications: 14th International Conference, RTA 2003 Valencia, Spain, June 9–11, 2003 Proceedings
  • PDF
  • English
  • Year: 2003
  • Author: Patrick Lincoln (auth.), Robert Nieuwenhuis (eds.)
search