„Logic Programming“

Suchergebnisse

2.836 Treffer

• A semantics for the integration of database modifications and transaction brackets into a logic programming language
  Böttcher, Stefan 1991 Universitätsbibliothek
• Separation Logic for High-level Synthesis
  Winterstein, Felix 2017 Springer International Publishing
• Functional and logic programming – 5th international symposium ; proceedings
  Kuchen, Herbert 2001 Springer
• Inductive logic programming – 22nd international conference ; revised selected papers
  Riguzzi, Fabrizio ; Železný, Filip 2013 Springer
• Logic for programming and automated reasoning – 7th international conference ; proceedings
  Parigot, Michel 2000 Springer
• WLP 2000 – collocated ECAI 2000 Workshop, Berlin, August 25 - 27, 2000
  Abdennadher, Slim 2000 GMD-Forschungszentrum Informationstechnik
• Logic and Programming
  1984 Springer US
• Logic-based program synthesis and transformation – 22nd international symposium ; revised selected papers
  Albert, Elvira 2013 Springer
• Programming Logics – Essays in Memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer Berlin Heidelberg
• Inductive logic programming – 10th international conference ; proceedings
  Cussens, James 2000 Springer
• Declarative agent languages and technologies X – 10th international workshop ; revised selected papers
  Baldoni, Matteo ; Dennis, Louise ; Mascardi, Viviana ; Vasconcelos, Wamberto 2013 Springer
• Probabilistic Semantic Web – reasoning and learning
  Zese, Riccardo 2017 IOS Press
• Small dynamic complexity classes – an investigation into dynamic descriptive complexity
  Zeume, Thomas 2017 Springer
• The deductive spreadsheet
  Cervesato, Iliano 2013 Springer
• Programming logics – essays in memory of Harald Ganzinger
  Voronkov, Andrei ; Ganzinger, Harald ; Weidenbach, Christoph 2013 Springer
• Intention recognition, commitment and their roles in the evolution of cooperation – from artificial intelligence techniques to evolutionary game theory models
  Han, The Anh 2013 Springer
• Proceedings / 26th Workshop on Logic Programming
  Behrend, Andreas 2012 Sekretariat für Forschungsberichte, Inst. für Informatik III
• Programming languages and systems – proceedings
  Felleisen, Matthias ; Gardner, Philippa 2013 Springer
• Logic programming and nonmonotonic reasoning – 5th international conference ; proceedings
  Gelfond, Michael 1999 Springer
• 18th International Workshop on Types for Proofs and Programs (TYPES 2011)
  Danielsson, Nils Anders ; Nordström, Bengt 2013 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH