Search Results - Semle, Heiner

  • Showing 1 – 2 results of 2
Filter by
  1. 1
    Cover Image

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

    Published 1989
    Order via interlibrary loan
    Book


    Saved in:
  2. 2
    Cover Image

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

    Published 1991
    Order via interlibrary loan
    Book


    Saved in:

Search Tools: