Zur Seitenansicht

Titelaufnahme

    Titel
    Mechanizing Inductive Theorem Proving in Conditional Theories / Ulrich Fraus
    VerfasserFraus, Ulrich
    ErschienenDüsseldorf : VDI-Verl., 1995
    Ausgabe
    Als Ms. gedr.
    UmfangVI, 154 S. : graph. Darst.
    Serie
    Fortschritt-Berichte VDI : Reihe 10 ; 334
    SchlagwörterAutomatisches Beweisverfahren / Induktion
    ISBN3-18-333410-0
    Links
    Nachweis
     hbz-Verbundkatalog
    Archiv METS (OAI-PMH)
    Download
    Inhalt
    Inhalt des Werkes