„Logic Programming“

Suchergebnisse

2.836 Treffer

• Naming and Logic: Programming Essentials with Wisp – From your first define to deploying your application
  Babenhauserheide, Arne 2025 epubli
• Gottlob Frege – Vordenker unserer digitalen Welt
  Framm, Edith ; Framm, Joachim ; Schott, Dieter 2025 Springer
• Runtime Verification – 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings
  Könighofer, Bettina ; Torfah, Hazem 2026 Springer Nature Switzerland, Imprint: Springer
• Automata Theory and Logic
  Lange, Martin 2025 Springer Vieweg
• Informatik für alle – Eine Einführung inklusive Programmierung mit C
  Rothe, Irene 2025 Springer Vieweg
• ATM: a Logic for Quantitative Security Properties on Attack Trees
  Nicoletti, Stefano M. ; Lopuhaä-Zwakenberg, Milan ; Hahn, E. Moritz ; Stoelinga, Mariëlle
• FLIP – functional plus logic programming on an integrated platform
  Sintek, Michael 1995 DFKI
• Modelling mixed integer optimisation problems in constraint logic programming
  Barth, Peter ; Bockmayr, Alexander 1995 MPI Informatik, Bibliothek & Dokumentation
• Fuzzy optimization of units products in mix-product selection problem using fuzzy linear programming approach
  Vasant, Pandian ; Barsoum, Nadir N.
• T–S fuzzy model adopted SLAM algorithm with linear programming based data association for mobile robots
  Pathiranage, Chandima Dedduwa ; Watanabe, Keigo ; Izumi, Kiyotaka
• Meta-logic programming for a synonymy logic
  Genito, Daniele ; Gerla, Giangiacomo ; Vignes, Alessandro
• 3rd Workshop on Functional Logic Programming – Schwarzenberg, Januar 1994
  Lock, Hendrik C. R. 1995 Univ., Fak. für Informatik
• Programming languages: implementations, logics and programs – 7th international symposium ; proceedings
  Hermenegildo, Manuel 1995 Springer
• Symbolische Simulation hybrider Systeme in constraint logic programming
  Riedewald, Günter 1995 Univ., Presse- und Informationsstelle, Wiss.-Publ.
• Symbolische Simulation hybrider Systeme in constraint logic programming
  Riedewald, Günter 1995 Univ., Presse- und Informationsstelle, Wiss.-Publ.
• Deductive databases and logic programming, abduction in deductive databases and knowledge based systems – proceedings of the ICLP'95 Joint Workshop, Shonan Village Center, Japan, June 17, 1995
  Decker, Hendrik 1995 GMD-Forschungszentrum Informationstechnik
• Software reliability determination for conventional and logic programming
  Azem, Alireza 1995 de Gruyter
• Logic programming and nonmonotonic reasoning – third international conference ; proceedings
  Marek, Victor W. 1995 Springer
• Solving higher order equations – from logic to programming
  Prehofer, Christian 1995 Inst. für Informatik
• Non-monotonic extensions of logic programming – selected papers
  Dix, Jürgen 1995 Springer