„Logische Programmierung“

Suchergebnisse

1.000+ Treffer

• Applications of declarative programming and knowledge management – 18th international conference ; revised selected papers
  Abreu, Salvador ; Seipel, Dietmar 2011 Springer
• Persistent constraints in constraint handling rules
  Betz, Hariolf ; Raiser, Frank ; Frühwirth, Thom 2010 Universität Potsdam
• FEVZI BELLI: Einfiihrung in die logische Programmierung mit PROLOC. BI Hochschultaschenbiicher. Band 630. Mannheim/Wien/Ziirich: Bibliographisches Institut, 1986. ‐ 280 S
  Schultz, M.
• Logische und Methodische Grundlagen der Programm- und Systementwicklung – Datenstrukturen, funktionale, sequenzielle und objektorientierte Programmierung - Unter Mitarbeit von Alexander Malkis
  Broy, Manfred ; Malkis, Alexander 2019 Springer Fachmedien Wiesbaden
• Einführung in die Constraint-Programmierung – Grundlagen, Methoden, Sprachen, Anwendungen
  Hofstedt, Petra ; Wolf, Armin 2007 Springer Berlin Heidelberg
• Einführung in die mathematische Logik
  Ebbinghaus, Heinz-Dieter ; Flum, Jörg ; Thomas, Wolfgang 2018 Springer Berlin Heidelberg
• Logik für Informatiker
  2005 Vieweg+Teubner Verlag
• Constraint-Programmierung – Grundlagen und Anwendungen
  Frühwirth, Thom ; Abdennadher, Slim 1997 Springer Berlin Heidelberg
• xpanda: a (simple) preprocessor for adding multi-valued propositions to ASP
  Gebser, Martin ; Hinrichs, Henrik ; Schaub, Torsten ; Thiele, Sven 2010 Universität Potsdam
• Simulation von Prüfungsordnungen und Studiengängen mit Hilfe von Constraint-logischer Programmierung
  Habtemariam, Dereje Tewolde ; Schmidt-Schauß, Manfred 2006 Univ.-Bibliothek Frankfurt am Main
• Retargierbare Compilierung von Selbsttestprogrammen digitaler Prozessoren mittels Constraint-logischer Programmierung
  Bieker, Ulrich 1995 Shaker
• 11. Workshop Logische Programmierung – Technische Universität Wien, 27. - 29. September 1995
  Krall, Andreas 1995 GMD-Forschungszentrum Informationstechnik
• Incremental partial deduction
  Hoppe, Thomas 1995 Infix
• Programming languages: implementations, logics and programs – 7th international symposium ; proceedings
  Hermenegildo, Manuel 1995 Springer
• Logic programming and nonmonotonic reasoning – third international conference ; proceedings
  Marek, Victor W. 1995 Springer
• Logik und Programmieren in Logik – ein Lehrbuch
  Yasdi, Ramin 1995 Prentice Hall
• Non-monotonic extensions of logic programming – selected papers
  Dix, Jürgen 1995 Springer
• Finite domain constraints – declarativity meets efficiency - theory meets application
  Meyer, Manfred 1995 Infix
• Logik für Informatiker
  Schöning, Uwe 1995 Spektrum, Akad. Verl.
• Learning collaborative reasoning – foundations of adaptive reflection support in agent-based simulations
  Richters, Constanze ; Fischer, Frank 2024 Universitätsbibliothek der Ludwig-Maximilians-Universität