Treffer 1 - 5 von 5 für Suche 'Noll, Helga 1936-', Suchdauer: 0,34s Treffer weiter einschränken
  1. 1
    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

    Zu den Favoriten
    Gespeichert in:
  2. 2
    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

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Mathematische Logik mit Informatik-Anwendungen

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

    Veröffentlicht 1977
    Buch

    Zu den Favoriten
    Gespeichert in:
  4. 4
    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

    Zu den Favoriten
    Gespeichert in:
  5. 5
    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

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: