„Logic Programming“

Suchergebnisse

2.836 Treffer

• Inductive logic programming – 13th international conference ; proceedings
  Horváth, Tamás 2003 Springer
• Logic programming – 19th international conference ; proceedings
  Palamidessi, Catuscia 2003 Springer
• Recent advances in constraints – selected papers
  Apt, Krzysztof R. 2004 Springer
• Functional and logic programming – 7th international symposium ; proceedings
  Kameyama, Yukiyoshi 2004 Springer
• Logic programming and nonmonotonic reasoning – 7th international conference ; proceedings
  Lifschitz, Vladimir 2004 Springer
• Logic for programming, artificial intelligence, and reasoning – 9th international conference ; proceedings
  Baaz, Matthias 2002 Springer
• Functional and logic programming – 6th international symposium ; proceedings
  Hu, Zhenjiang 2002 Springer
• Logic programming – 18th international conference ; proceedings
  Stuckey, Peter J. 2002 Springer
• Progress in artificial intelligence, knowledge extraction, multi-agent systems, logic programming, and constraint solving – proceedings
  Brazdil, Pavel B. 2002 Springer
• Logic for programming and automated reasoning – 7th international conference ; proceedings
  Parigot, Michel 2002 Springer
• Logic programming and knowledge representation – third international workshop ; selected papers
  Dix, Jürgen 1999 Springer
• Inductive logic programming – 9th international workshop ; proceedings
  Džeroski, Sašo 2000 Springer
• Functional and logic programming – 5th international symposium ; proceedings
  Kuchen, Herbert 2001 Springer
• Logic programming and nonmonotonic reasoning – 5th international conference ; proceedings
  Gelfond, Michael 2000 Springer
• Inductive logic programming – 11th international conference ; proceedings
  Rouveirol, Celine 2001 Springer
• Logic programming and nonmonotonic reasoning – 6th international conference ; proceedings
  Eiter, Thomas 2001 Springer
• Inductive logic programming – 10th international conference ; proceedings
  Cussens, James 2000 Springer
• Logic programming – 17th international conference ; proceedings
  Codognet, Philippe 2001 Springer
• Logic for programming, artificial intelligence, and reasoning – 8th international conference ; proceedings
  Nieuwenhuis, Robert 2001 Springer
• Software Engineering and Formal Methods – 23rd International Conference, SEFM 2025, Toledo, Spain, November 10–14, 2025, Proceedings
  Bianculli, Domenico ; Gómez-Martínez, Elena 2026 Springer Nature Switzerland, Imprint: Springer