Zur Seitenansicht
 

Titelaufnahme

Titel
Mechanizing Inductive Theorem Proving in Conditional Theories / Ulrich Fraus
VerfasserFraus, Ulrich In der Gemeinsamen Normdatei der DNB nachschlagen In Wikipedia suchen nach Ulrich Fraus
ErschienenDüsseldorf : VDI-Verl., 1995
Ausgabe
Als Ms. gedr.
UmfangVI, 154 S. : graph. Darst.
SerieFortschritt-Berichte VDI : Reihe 10 ; 334
SchlagwörterAutomatisches Beweisverfahren In Wikipedia suchen nach Automatisches Beweisverfahren / Induktion In Wikipedia suchen nach Induktion
ISBN3-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)