„Deduktionssystem“

Suchergebnisse

1.000+ Treffer

• Incremental partial deduction
  Hoppe, Thomas 1995 Infix
• Frontiers of combining systems – 6th international symposium ; proceedings
  Konev, Boris 2007 Springer
• Frontiers of combining systems – 5th international workshop ; proceedings
  Gramlich, Bernhard 2005 Springer
• Frontiers of combining systems – 4th international workshop ; proceedings
  Armando, Alessandro 2002 Springer
• Some tendencies in non-monotonic reasoning
  Dix, Jürgen Univ., Fak. für Informatik
• Informal Proceedings of the Annual Meeting of "GI-Fachgruppe Deduktionssysteme'" in Kaiserslautern, 1993
  Avenhaus, Jürgen ; Denzinger, Jörg 2024 Saarländische Universitäts- und Landesbibliothek
• Deduktion – Automatisierung der Logik
  Bibel, Wolfgang ; Hölldobler, Steffen ; Neugebauer, Gerd 2020 De Gruyter
• Deduktionssysteme
  Socher, Rolf 1994 BI-Wiss.-Verl.
• Wiederverwendung von Plänen in deduktiven Planungssystemen
  Koehler, Jana 1994 Infix
• Duftlernen bei der Honigbiene Apis mellifera
  Malaka, Rainer 1993 Inst. für Logik, Komplexität und Deduktionssysteme
• Models for chemosensory receptors – an approach using artificial neural networks
  Malaka, Rainer ; Ragg, Thomas 1993 Inst. für Logik, Komplexität und Deduktionssysteme
• Deduktion mit Shannongraphen für Prädikatenlogik erster Stufe
  Posegga, Joachim 1993 Infix
• Deductive planning and plan reuse in a command language environment
  Biundo-Stephan, Susanne ; Dengler, Dietmar ; Koehler, Jana 1992 DFKI
• Workshop Theorem Proving with Analytik Tableaux and Related Methods – March 18 - 20, 1992 in Lautenbach
  Fronhöfer, Bertram 1992 Institut für Logik, Komplexität und Deduktionssysteme
• Parallele Modelle für Deduktionssysteme
  Aßmann, Ulrich 1992 Infix
• Deduktionssysteme – Automatisierung des logischen Denkens
  Bläsius, Karl Hans 1992 Oldenbourg
• Deduktion – Automatisierung der Logik
  Bibel, Wolfgang 1992 Oldenbourg
• Algorithms for constraints in deduction and knowledge representation
  Nutt-Wahlmann, Werner
• Parallele Modelle für Deduktionssysteme
  Aßmann, Ulrich
• Vergleichende Analyse von Inferenzsystemen
  Dietrich, Roland 1990 Oldenbourg