Treffer 1 – 5 von 5 für Suche 'Pfenning, Frank', Suchdauer: 0,01s 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
    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:
  2. 2
    Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming

    Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming von Pfenning, Frank

    Veröffentlicht 2002
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Inductively defined types in the calculus of construction

    Inductively defined types in the calculus of construction von Pfenning, Frank, Paulin-Mohring, Christine

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Metacircularity in the polymorphic lamda-calculus

    Metacircularity in the polymorphic lamda-calculus von Pfenning, Frank, Lee, Peter

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Inductively defined types in the calculus of constructions

    Inductively defined types in the calculus of constructions von Pfenning, Frank, Paulin-Mohring, Christine

    Veröffentlicht 1989
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: