Home Advanced Search

Advanced Search - Page 1

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.)
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.)
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.)
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: Oliver Kullmann
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.)
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.)
Programming Logics: Essays in Memory of Harald Ganzinger
  • PDF
  • English
  • Year: 2013
  • Author: Deepak Kapur, Robert Nieuwenhuis, Andrei Voronkov (auth.), Andrei Voronkov, Christoph Weidenbach (eds.)
Mobile Response: First International Workshop on Mobile Information Technology for Emergency Response, Mobile Response 2007, Sankt Augustin, Germany, February 22-23, 2007, Revised Selected Papers
  • PDF
  • English
  • Year: 2007
  • Author: Kees Nieuwenhuis (auth.), Jobst Löffler, Markus Klann (eds.)
search