zum Inhalt
Schnellsuche:
Detailsuche
|
Home
|
Sammlung
|
Impressum
|
Titel
Inhalt
Übersicht
Seite
Im Dokument suchen
Titelaufnahme
Titel
Mechanizing Inductive Theorem Proving in Conditional Theories / Ulrich Fraus
Verfasser
Fraus, Ulrich
Erschienen
Düsseldorf : VDI-Verl.,
1995
Ausgabe
Als Ms. gedr.
Umfang
VI, 154 S. : graph. Darst.
Serie
Fortschritt-Berichte VDI : Reihe 10 ; 334
Schlagwörter
Automatisches Beweisverfahren
/
Induktion
ISBN
3-18-333410-0
Links
Download
Mechanizing Inductive Theorem Proving in Conditional Theories [0,38 mb]
Nachweis
hbz-Verbundkatalog
Verfügbarkeit
In meiner Bibliothek
Archiv
METS (OAI-PMH)
Inhalt
Inhalt des Werkes