Home Advanced Search

Advanced Search - Page 1

Rewriting Techniques and Applications: 10th International Conference, RTA-99 Trento, Italy, July 2–4, 1999 Proceedings
  • PDF
  • English
  • Year: 1999
  • Author: Robert Nieuwenhuis, José Miguel Rivero (auth.), Paliath Narendran, Michael Rusinowitch (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.)
Theory and Applications of Satisfiability Testing - SAT 2009: 12th International Conference, SAT 2009, Swansea, UK, June 30 - July 3, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Robert Nieuwenhuis (auth.), Oliver Kullmann (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.)
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.)
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.)
Logic for Programming, Artificial Intelligence, and Reasoning: 8th International Conference, LPAR 2001 Havana, Cuba, December 3–7, 2001 Proceedings
  • PDF
  • English
  • Year: 2001
  • Author: Ian Hodkinson, Frank Wolter, Michael Zakharyaschev (auth.), Robert Nieuwenhuis, Andrei Voronkov (eds.)
Automated deduction, CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Robert Nieuwenhuis
search