Treffer 1 – 5 von 5 für Suche 'Miller, Dale 1956-', 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
    Programming with higher-order logic

    Programming with higher-order logic von Miller, Dale 1956-

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


    Gespeichert in:
  2. 2
    Logic programming in a fragment of intuitionistic linear logic extended abstract

    Logic programming in a fragment of intuitionistic linear logic extended abstract von Hodas, Joshua S., Miller, Dale 1956-

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Programming with higher-order logic

    Programming with higher-order logic von Miller, Dale 1956-, Nadathur, Gopalan 1956-

    Veröffentlicht 2012
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Programming with higher-order logic

    Programming with higher-order logic von Miller, Dale 1956-, Nadathur, Gopalan 1956-

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK

    2nd International Conference on Formal Structures for Computation and Deduction FSCD 2017, September 3–9, 2017, Oxford, UK

    Veröffentlicht 2017
    Weitere Verfasser: “… Miller, Dale 1956- …”
    Volltext öffnen
    Elektronisch Tagungsbericht E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: