Treffer 1 – 5 von 5 für Suche 'Noll, Helga 1936-', 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
    Mathematische Logik mit Informatik-Anwendungen

    Mathematische Logik mit Informatik-Anwendungen von Bergmann, Eberhard, Noll, Helga 1936-

    Veröffentlicht 1977
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Eine konstruktive Formulierung des Lifting-Theorems unër expliziter Angabe der liftenden Substitutionen und eine Anwendung auf Faktorisierungs-Einschränkungen

    Eine konstruktive Formulierung des Lifting-Theorems unër expliziter Angabe der liftenden Substitutionen und eine Anwendung auf Faktorisierungs-Einschränkungen von Noll, Helga 1936-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Horn-Formeln eine durch Anwendungen motivierte Einschränkung von Eingaben für Theorem-Beweiser

    Horn-Formeln eine durch Anwendungen motivierte Einschränkung von Eingaben für Theorem-Beweiser von Bergmann, Eberhard, Noll, Helga 1936-

    Veröffentlicht 1974
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Eine konstruktive Formulierung des Lifting-Theorems unter expliziter Angabe der liftenden Substitutionen und eine Anwendung auf Faktorisierungs-Einschränkungen

    Eine konstruktive Formulierung des Lifting-Theorems unter expliziter Angabe der liftenden Substitutionen und eine Anwendung auf Faktorisierungs-Einschränkungen von Noll, Helga 1936-

    Veröffentlicht 1976
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Eine konstruktive Formulierung des Lifting-Theorems unter expliziter Angabe der liftenden Substitutionen und eine Anwendung auf Faktorisierungs-Einschränkungen

    Eine konstruktive Formulierung des Lifting-Theorems unter expliziter Angabe der liftenden Substitutionen und eine Anwendung auf Faktorisierungs-Einschränkungen von Noll, Helga 1936-

    Veröffentlicht 1976
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: