Treffer 1 – 7 von 7 für Suche 'Nutt, Werner', Suchdauer: 0,05s 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
    Unification in monoidal theories is solving linear equations over semirings

    Unification in monoidal theories is solving linear equations over semirings von Nutt, Werner

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    The unification hierarchy is undecidable

    The unification hierarchy is undecidable von Nutt, Werner

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    The unification hierarchy is undecidable

    The unification hierarchy is undecidable von Nutt, Werner

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    On abduction and answer generation through constrained resolution

    On abduction and answer generation through constrained resolution von Bürckert, Hans-Jürgen, Nutt, Werner

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Adding homomorphisms to commutative/monoidal theories, or: how algebra can help in equational unification

    Adding homomorphisms to commutative/monoidal theories, or: how algebra can help in equational unification von Baader, Franz 1959-, Nutt, Werner

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Constructive problem solving: a model construction approach towards configuration

    Constructive problem solving: a model construction approach towards configuration von Buchheit, Martin, Klein, Rüdiger, Nutt, Werner

    Veröffentlicht 1995
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  7. 7
    Subsumption algorithms for concept languages

    Subsumption algorithms for concept languages von Hollunder, Bernhard, Nutt, Werner

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: