„Logic Programming“

Suchergebnisse

2.836 Treffer

• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Logic programming and databases
  1989 Fernuniv., Gesamthochsch.
• Completeness proofs for logic programming – refutations and derivations for ground clauses
  Siefkes, Dirk ; Hofbauer, Dieter ; Kutsche, Ralf-Detlef 1988 Leiter d. Fachbibliothek Informatik, Sekretariat FR 5-4, TU
• Completeness and Termination of SLDNF-Resolution and Determination of a Selection function using Mode
  Ntienjem, Ebénézer 2006 Universität Augsburg
• A descriptive Mode Inference for Logic Programs
  Ntienjem, Ebénézer 2006 Universität Augsburg
• Completeness Result of SLDNF-resolution for a relevant Class of Logic Programs
  Ntienjem, Ebénézer 2006 Universität Augsburg
• 20th International Conference on Types for Proofs and Programs (TYPES 2014)
  Herbelin, Hugo ; Letouzey, Pierre ; Sozeau, Matthieu 2015 Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
• Functional and logic programming – 10th international symposium ; proceedings
  Blume, Matthias 2010 Springer
• A unification of functional and logic programming based on many-valued functions
  Wilmes, Thomas 1987 Inst. für Informatik u. Prakt. Mathematik
• Conditional rewriting and narrowing as a theoretical framework for logic-functional programming – a survey
  Bockmayr, Alexander 1986 Inst. für Informatik I, Univ.
• Declarative Logic-Programming Components for Information Agents
  Fink, Michael 2002 Diplom.de
• Using constraint logic programming for modeling and verifying hierarchical hybrid automata
  Mohammed, Ammar ; Stolzenburg, Frieder 2009 Inst. für Informatik
• Recent advances in constraints – revised selected papers
  Oddi, Angelo 2009 Springer
• Logic programming – 25th international conference ; proceedings
  Hill, Patricia M. 2009 Springer
• Modular logic programming of compilers
  Ganzinger, Harald ; Hanus, Michael 1984 Fachbereich Informatik d. Univ.
• Logic programming – 24rd international conference ; proceedings
  Garcia de la Banda, Maria 2008 Springer
• Recent advances in constraints – revised selcted papers
  Fages, François 2008 Springer