Treffer 1 – 4 von 4 für Suche 'Hummel, Birgit', Suchdauer: 0,03s Treffer filtern
Es werden neben Medien der THWS auch Medien von anderen bayerischen Bibliotheken angezeigt.
Diese sind über das Label „Fernleihe“ gekennzeichnet und können mit einem Klick darauf bestellt werden.
  1. 1
    Generierung von Induktionsformeln und Generalisierung bei automatischen Beweisen mit vollständiger Induktion

    Generierung von Induktionsformeln und Generalisierung bei automatischen Beweisen mit vollständiger Induktion von Hummel, Birgit

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    An investigation of formula generalization heuristics for induction proofs

    An investigation of formula generalization heuristics for induction proofs von Hummel, Birgit

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    An investigation of formula generalization heuristics for induction proofs

    An investigation of formula generalization heuristics for induction proofs von Hummel, Birgit

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion

    Generierung von Induktionsformeln und Generalisierung beim automatischen Beweisen mit vollständiger Induktion von Hummel, Birgit

    Veröffentlicht 1990
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: