„Logic Programming“

Suchergebnisse

2.836 Treffer

• Logics in Artificial Intelligence – 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings
  2014 Springer International Publishing
• DNA Computing and Molecular Programming – 20th International Conference, DNA 20, Kyoto, Japan, September 22-26, 2014. Proceedings
  2014 Springer International Publishing
• Principles and Practice of Constraint Programming – 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part I
  2014 Springer International Publishing
• Computational Science and Its Applications – ICCSA 2014 – 14th International Conference, Guimarães, Portugal, June 30 – July 3, 2014, Proceedings, Part V
  2014 Springer International Publishing
• Design and implementation of a finite domain constraint logic programming system based on PROLOG with coroutining
  Müller, Jörg P. 2013 Saarländische Universitäts- und Landesbibliothek
• Design and implementation of a finite domain constraint logic programming system based on PROLOG with coroutining
  Müller, Jörg P. 1991 DFKI
• Extended logic-plus-functional programming
  Boley, Harold 2011 Saarländische Universitäts- und Landesbibliothek
• Extended logic plus functional programming
  Boley, Harold 1992 DFKI
• Integration of AI and OR Techniques in Constraint Programming – 11th International Conference, CPAIOR 2014, Cork, Ireland, May 19-23, 2014. Proceedings
  2014 Springer International Publishing
• Foundations of Information and Knowledge Systems – 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings
  Beierle, Christoph ; Meghini, Carlo 2014 Springer International Publishing
• A Defeasible Logic Programming-Based Framework to Support Argumentation in Semantic Web Applications
  Janjua, Naeem Khalid 2014 Springer International Publishing
• Programming Languages and Systems – 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings
  Shan, Chung-chien 2013 Springer International Publishing
• Logic for programming, artificial intelligence, and reasoning – 19th international conference ; proceedings
  McMillan, Kenneth L. ; Middeldorp, Aart ; Voronkov, Andrei 2013 Springer
• Logic programming and nonmonotonic reasoning – 12th international conference ; proceedings
  Cabalar, Pedro ; Son, Tran Cao 2013 Springer
• Web reasoning and rule systems – 7th international conference ; proceedings
  Faber, Wolfgang ; Lembo, Domenico 2013 Springer
• Compiler Design – Syntactic and Semantic Analysis
  Wilhelm, Reinhard ; Seidl, Helmut 2013 Springer Berlin Heidelberg
• Logic program synthesis and transformation – proceedings of LOPSTR 91, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 4 - 5 July 1991
  Clement, Timothy C. 1992 Springer
• Logic program synthesis and transformation – proceedings of LOPSTR 92, International Workshop on Logic Program Synthesis and Transformation, University of Manchester, 2 - 3 July 1992
  Lau, Kung-Kiu 1993 Springer
• Implementing functional logic programs by translation into purely functional programs
  Braßel, Bernd