„Induktionsbeweis“

Suchergebnisse

1.000+ Treffer

• Präzises Denken für Informatiker
  Wolf, Karsten 2017 Springer Berlin Heidelberg
• Superposition: Types and Induction
  Wand, Daniel ; Weidenbach, Christoph 2017 Saarländische Universitäts- und Landesbibliothek
• Vollständige Induktion – Beispiele und Aufgaben bis zum Umfallen
  Dalwigk, Florian André 2019 Springer Berlin Heidelberg
• Lazy generation of induction hypotheses and patching faulty conjectures
  Protzen, Martin 1995 Infix
• Automatische Synthese rekursiver Programme als Beweisverfahren
  Biundo-Stephan, Susanne 1992 Springer Berlin Heidelberg
• Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen
  Bengeloune, Idriss
• Buchbesprechung
  Hilgert, Joachim
• Initiierung und endokrine Kontrolle der Geburt bei Haussäugetieren – Teil 2 – Speziesspezifische Betrachtungen und Bedeutung von Speziesunterschieden im Hinblick auf die Verfahren der medikamentösen Geburtseinleitung
  Schuler, Gerhard
• Induction on non-freely generated data types
  Sengler, Claus 1996 [DFKI]
• Automatische Synthese rekursiver Programme als Beweisverfahren
  Biundo-Stephan, Susanne 1992 Springer
• Mechanized verification of imperative and functional programs
  Giesl, Jürgen
• Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung
  Heinz, Birgit 1996 Oldenbourg
• Implizite und explizite Induktionsbeweisverfahren
  Gerberding, Stefan 1997 Infix
• Test-sets und Termersetzungen für die Generierung rekursiv definierter Algorithmen aus Existenzaussagen
  Bengeloune, Idriss
• Induction on non-freely generated data types
  Sengler, Claus 1997 Infix
• Automatic termination analysis for functional and imperative programs
  Brauburger, Jürgen 1999 Infix
• Formal correctness of security protocols – with 4 tables
  Bella, Giampaolo 2007 Springer
• Vollständige Induktion – Beispiele und Aufgaben bis zum Umfallen
  Dalwigk, Florian André 2019 Springer
• Zur Jordan-Normalform durch den Faktorraum
  Hartl, Johann
• Das Beweisverfahren der vollständigen Induktion und seine Anwendung
  Soisch, Anna Isabella 2001 GRIN Verlag