Home Advanced Search

Advanced Search - Page 1

Logic Programming: 18th International Conference, ICLP 2002 Copenhagen, Denmark, July 29 – August 1, 2002 Proceedings
  • PDF
  • English
  • Year: 2002
  • Author: Bernard Boigelot, Pierre Wolper (auth.), Peter J. Stuckey (eds.)
Principles and Practice of Constraint Programming: 14th International Conference, CP 2008, Sydney, Australia, September 14-18, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Alain Colmerauer (auth.), Peter J. Stuckey (eds.)
Computer Aided Verification: 8th International Conference, CAV '96 New Brunswick, NJ, USA, July 31– August 3, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Bernard Boigelot, Patrice Godefroid (auth.), Rajeev Alur, Thomas A. Henzinger (eds.)
Programming Languages and Systems: 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny (auth.), Naoki Kobayashi (eds.)
18th International Conference, CPAIOR 2021, Vienna, Austria, July 5–8, 2021, Proceedings
  • EPUB
  • English
  • Year: 2021
  • Author: Peter J. Stuckey
Introduction à la calculabilité : Cours et exercices corrigés
  • DJVU
  • French
  • Year: 2006
  • Author: Pierre Wolper
Integration of Constraint Programming, Artificial Intelligence, and Operations Research: 18th International Conference, CPAIOR 2021, Vienna, Austria, ... (Lecture Notes in Computer Science, 12735)
  • PDF
  • English
  • Year: 2021
  • Author: Peter J. Stuckey (editor)
Logic-Based Program Synthesis and Transformation: 28th International Symposium, LOPSTR 2018, Frankfurt/Main, Germany, September 4-6, 2018, Revised Selected Papers
  • PDF
  • English
  • Year: 2019
  • Author: Fred Mesnard, Peter J. Stuckey
A MiniZinc Tutorial
  • PDF
  • English
  • Year: 2016
  • Author: Kim Marriott, Peter J. Stuckey
A MiniZinc Tutorial
  • PDF
  • English
  • Author: Kim Marriott, Peter J. Stuckey
search