„Logic Programming“

Suchergebnisse

2.836 Treffer

• Functional and Logic Programming – 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010. Proceedings
  Blume, Matthias 2010 Springer Berlin Heidelberg
• Recent advances in constraints – revised selected papers
  Fages, François 2008 Springer
• Logic programming – 24rd international conference ; proceedings
  Garcia de la Banda, Maria 2008 Springer
• Logic for programming, artificial intelligence, and reasoning – 15th international conference ; proceedings
  Cervesato, Iliano 2008 Springer
• Inductive logic programming – 18th international conference ; proceedings
  Železný, Filip 2008 Springer
• Inductive logic programming – 17th international conference ; revised selected papers
  Blockeel, Hendrik 2008 Springer
• Logic programming – 23rd international conference ; proceedings
  Dahl, Veronica 2007 Springer
• Recent advances in constraints – revised selected and invited papers
  Azevedo, Francisco 2007 Springer
• Inductive logic programming – 16th international conference ; revised selected papers
  Muggleton, Stephen H. 2007 Springer
• Logic programming and nonmonotonic reasoning – 9th international conference ; proceedings
  Baral, Chitta 2007 Springer
• Functional and logic programming – 4th Fuji international symposium ; proceedings
  Middeldorp, Aart 1999 Springer
• Logic for programming, artificial intelligence, and reasoning – 13th international conference ; proceedings
  Hermann, Miki 2006 Springer
• Recent advances in constraints – revised selected and invited papers
  Hnich, Brahim 2006 Springer
• Logic programming – 22nd international conference ; proceedings
  Etalle, Sandro 2006 Springer
• Functional and logic programming – 8th international symposium ; proceedings
  Hagiya, Masami 2006 Springer
• Logic programming and nonmonotonic reasoning – 8th international conference ; proceedings
  Baral, Chitta 2005 Springer
• Inductive logic programming – 15th international conference ; proceedings
  Kramer, Stefan 2005 Springer
• Logic for programming, artificial intelligence, and reasoning – 12th international conference ; proceedings
  Sutcliffe, Geoff 2005 Springer
• [Recent advances in constraints] – [revised selected and invited papers]
  Faltings, Boi 2005 [Springer]
• Logic for programming, artificial intelligence, and reasoning – 10th international conference ; proceedings
  Vardi, Moshe Y. 2003 Springer