Treffer 1 – 2 von 2 für Suche 'Semle, Heiner', 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
    Erweiterung einer abstrakten Maschine für ordnungsorientiertes Prolog um die Behandlung polymorpher Sorten

    Erweiterung einer abstrakten Maschine für ordnungsorientiertes Prolog um die Behandlung polymorpher Sorten von Semle, Heiner

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Extending the Warren abstract machine to polymorphic order-sorted resolution

    Extending the Warren abstract machine to polymorphic order-sorted resolution von Beierle, Christoph 1954-, Meyer, Gregor, Semle, Heiner

    Veröffentlicht 1991
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: