„Constraint-logische Programmierung“

Suchergebnisse

1.000+ Treffer

• Applications of declarative programming and knowledge management – 18th international conference ; revised selected papers
  Abreu, Salvador ; Seipel, Dietmar 2011 Springer
• Persistent constraints in constraint handling rules
  Betz, Hariolf ; Raiser, Frank ; Frühwirth, Thom 2010 Universität Potsdam
• Einführung in die Constraint-Programmierung – Grundlagen, Methoden, Sprachen, Anwendungen
  Hofstedt, Petra ; Wolf, Armin 2007 Springer Berlin Heidelberg
• Constraint-Programmierung – Grundlagen und Anwendungen
  Frühwirth, Thom ; Abdennadher, Slim 1997 Springer Berlin Heidelberg
• Simulation von Prüfungsordnungen und Studiengängen mit Hilfe von Constraint-logischer Programmierung
  Habtemariam, Dereje Tewolde ; Schmidt-Schauß, Manfred 2006 Univ.-Bibliothek Frankfurt am Main
• Retargierbare Compilierung von Selbsttestprogrammen digitaler Prozessoren mittels Constraint-logischer Programmierung
  Bieker, Ulrich 1995 Shaker
• Finite domain constraints – declarativity meets efficiency - theory meets application
  Meyer, Manfred 1995 Infix
• New Applications and Techniques for Constraint Programming in B
  Schmidt, Joshua ; Leuschel, Michael 2023 Universitäts- und Landesbibliothek der Heinrich-Heine-Universität Düsseldorf
• Zum modellbasierten funktionalen Test reaktiver Systeme
  Pretschner, Alexander
• Feature constraint grammars
  Götz, Thilo
• A uniform computational model for natural language parsing and generation
  Neumann, Günter
• Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz
  Würtz, Jörg
• Recent Advances in Constraints – Joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming Cork, Ireland, June 19–21, 2002. Selected Papers
  O'Sullivan, Barry 2003 Springer Nature Switzerland
• Functional and Constraint Logic Programming – 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers
  Escobar, Santiago 2010 Springer International Publishing
• Proceedings of the 23rd Workshop on (Constraint) Logic Programming 2009
  Geske, Ulrich ; Wolf, Armin 2010 Universität Potsdam
• Applications of Declarative Programming and Knowledge Management – 19th International Conference, INAP 2011, and 25th Workshop on Logic Programming, WLP 2011, Vienna, Austria, September 28-30, 2011, Revised Selected Papers
  2013 Springer Berlin Heidelberg
• Logic-Based Program Synthesis and Transformation – 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers
  Albert, Elvira 2013 Springer Berlin Heidelberg
• Functional and Logic Programming – 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings
  Schrijvers, Tom ; Thiemann, Peter 2012 Springer Berlin Heidelberg
• Logic for Programming, Artificial Intelligence, and Reasoning – 18th International Conference, LPAR-18, Mérida, Venezuela, March 11-15, 2012. Proceedings
  2012 Springer Berlin Heidelberg
• Functional and Constraint Logic Programming – 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings
  Kuchen, Herbert 2011 Springer Berlin Heidelberg