„Logic Programming“

Suchergebnisse

2.836 Treffer

• Correction to: Reactive synthesis without regret
  Hunter, Paul ; Pérez, Guillermo A. ; Raskin, Jean-François
• Correction to: Sound reasoning in tock-CSP
  Baxter, James ; Ribeiro, Pedro ; Cavalcanti, Ana
• Correction to: Solving high-level Petri games
  Gieseking, Manuel ; Olderog, Ernst-Rüdiger ; Würdemann, Nick
• Correction to: A linear-time branching-time perspective on interface automata
  Vogler, Walter ; Lüttgen, Gerald
• Correction to: Optimal release time determination via fuzzy goal programming approach for SDE-based software reliability growth model
  Chatterjee, S. ; Chaudhuri, Bhagyashree ; Bhar, Chandan
• Correction to: Expressiveness of component-based frameworks: a study of the expressiveness of BIP
  Baranov, Eduard ; Bliudze, Simon
• Ethische KI in der Praxis. Die 7 Säulen und 33 Sprichwörter für KI-Werte-Leitlinien in Unternehmen
  Giannakoudi, Martha 2025 Springer Vieweg
• Causal Discovery – Foundations, Algorithms and Applications
  Sucar, Luis Enrique 2026 Springer Nature Switzerland, Imprint: Birkhäuser
• Programming Language Design and Implementation
  Mogensen, Torben Ægidius 2026 Springer Nature Switzerland, Imprint: Springer
• Compiling Prolog to Idiomatic Java
  Eichberg, Michael 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Technologies and Innovation – Third International Conference, CITI 2017, Guayaquil, Ecuador, October 24-27, 2017, Proceedings
  Valencia-García, Rafael ; Lagos-Ortiz, Katty ; Alcaraz Mármol, Gema ; Del Cioppo Morstadt, Francisco Javier ; Vera-Lucio, Néstor ; Bucaram-Leverone, Martha 2017 Springer International Publishing
• GenEth: a general ethical dilemma analyzer
  Anderson, Michael ; Anderson, Susan Leigh
• Practical Aspects of Declarative Languages – 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010. Proceedings
  Sagonas, Kostis 2010 Springer International Publishing
• A 25-Year Perspective on Logic Programming – Achievements of the Italian Association for Logic Programming, GULP
  2010 Springer Berlin Heidelberg
• Compartmentalized Connection Graphs for Concurrent Logic Programming II – Parallelism, Indexing and Unification
  Powers, David M. W. 2023 Saarländische Universitäts- und Landesbibliothek
• Compartmentalized Connection Graphs for Concurrent Logic Programming I – Compartmentalization, Transformation and Examples
  Powers, David M. W. 2023 Saarländische Universitäts- und Landesbibliothek
• On Solving Equations and Disequations
  Buntine, Wray L. ; Bürckert, Hans-Jürgen 2023 Saarländische Universitäts- und Landesbibliothek
• Order-Sorted Equational Computation
  Smolka, Gert ; Nutt, Werner ; Goguen, Joseph ; Meseguer, José 2023 Saarländische Universitäts- und Landesbibliothek
• SASLOG – Lazy Evaluation Meets Backtracking
  Hinkelmann, Knut ; Noekel, Klaus ; Rehbold, Robert 2023 Saarländische Universitäts- und Landesbibliothek
• Foundations of Logic Programming
  1987 Springer Berlin Heidelberg