Treffer 1 – 4 von 4 für Suche 'Dietzen, Scott', 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
    A language for high-order explanation-based learning

    A language for high-order explanation-based learning von Dietzen, Scott

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Programming in higher-order typed lambda-calculi

    Programming in higher-order typed lambda-calculi von Pierce, Benjamin, Dietzen, Scott, Michaylov, Spiro

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    High-order and modal logic as a framework for explanation-based generalization

    High-order and modal logic as a framework for explanation-based generalization von Dietzen, Scott, Pfenning, Frank

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    A language for higher-order explanation-based learning

    A language for higher-order explanation-based learning von Dietzen, Scott

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: