„Logic Programming“

Suchergebnisse

2.836 Treffer

• Introduction to Scilab – For Engineers and Scientists
  2017 Apress
• Logic programming and nonmonotonic reasoning – 10th international conference ; proceedings
  Erdem, Esra 2009 Springer
• Artificial Psychology – Learning from the Unexpected Capabilities of Large Language Models
  Lewis, Clayton 2025 Springer Nature Switzerland, Imprint: Springer
• Mostly Codeless Game Development – New School Game Engines
  2017 Apress
• MATLAB Deep Learning – With Machine Learning, Neural Networks and Artificial Intelligence
  2017 Apress
• Deep Learning with Python – A Hands-on Introduction
  2017 Apress
• Code Generation with Roslyn
  2017 Apress
• Introduction to Mathematica® with Applications
  Mureşan, Marian 2017 Springer International Publishing
• Scala: From a Functional Programming Perspective – An Introduction to the Programming Language
  Torra, Vicenç 2016 Springer International Publishing
• Fuzzy Logic for Image Processing – A Gentle Introduction Using Java
  Caponetti, Laura ; Casellano, Giovanna 2017 Springer International Publishing
• Software Testing for Conventional and Logic Programming
  Jack, Oliver 1996 De Gruyter
• Logic-Based Program Synthesis and Transformation – 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
  Proietti, Maurizio ; Seki, Hirohisa 2015 Springer International Publishing
• Integration of AI and OR Techniques in Constraint Programming – 12th International Conference, CPAIOR 2015, Barcelona, Spain, May 18-22, 2015, Proceedings
  Michel, Laurent 2015 Springer International Publishing
• Principles and Practice of Constraint Programming – 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings
  2015 Springer International Publishing
• Logic-Based Program Synthesis and Transformation – 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers
  Gupta, Gopal ; Peña, Ricardo 2014 Springer International Publishing
• Concrete Semantics – With Isabelle/HOL
  2014 Springer International Publishing
• Verified Software: Theories, Tools and Experiments – 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers
  Giannakopoulou, Dimitra ; Kroening, Daniel 2014 Springer International Publishing
• Declarative Programming and Knowledge Management – Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers
  Hanus, Michael ; Rocha, Ricardo 2014 Springer International Publishing
• “What if?” in Probabilistic Logic Programming
  Kiesel, Rafael ; Rückschloß, Kilian ; Weitkämper, Felix 2023 Ludwig-Maximilians-Universität München
• Programming Languages and Systems – 12th Asian Symposium, APLAS 2014, Singapore, Singapore, November 17-19, 2014, Proceedings
  2014 Springer International Publishing