Treffer 1 – 7 von 7 für Suche 'Löwen, Ulrich', Suchdauer: 0,07s 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
    Equivalence of propositional logic programs

    Equivalence of propositional logic programs von Kleine Büning, Hans 1948-, Löwen, Ulrich, Schmitgen, Stefan 1961-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Optimierung von logischen Formeln in Hinblick auf Herleitungsfragen

    Optimierung von logischen Formeln in Hinblick auf Herleitungsfragen von Löwen, Ulrich

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Logical decision problems and complexity of logic programs

    Logical decision problems and complexity of logic programs von Löwen, Ulrich

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Logical decision problems and complexity of logic programs

    Logical decision problems and complexity of logic programs von Löwen, Ulrich

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Optimization aspects for propositional binary Prolog programs

    Optimization aspects for propositional binary Prolog programs von Kleine Büning, Hans 1948-, Löwen, Ulrich

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Inconsistency of production systems

    Inconsistency of production systems von Kleine Büning, Hans 1948-, Löwen, Ulrich, Schmitgen, Stefan 1961-

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Towards average complexity of propositional binary Prolog programs

    Towards average complexity of propositional binary Prolog programs von Kleine Büning, Hans 1948-, Löwen, Ulrich

    Veröffentlicht 1988
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: