Treffer 1 – 4 von 4 für Suche 'Van Harmelen, Frank', Suchdauer: 0,04s 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
    Meta-level inference systems

    Meta-level inference systems von Van Harmelen, Frank

    Veröffentlicht 1991
    Abschlussarbeit Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Extensions to the rippling-out tactic for guiding inductive proofs

    Extensions to the rippling-out tactic for guiding inductive proofs von Bundy, Alan, Van Harmelen, Frank, Smaill, Alan

    Veröffentlicht 1990
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    A categorisation of meta-level architectures

    A categorisation of meta-level architectures von Van Harmelen, Frank

    Veröffentlicht 1986
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Building expert systems using logic and meta-level interpretation

    Building expert systems using logic and meta-level interpretation von Reichgelt, Han, Van Harmelen, Frank

    Veröffentlicht 1987
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: