Treffer 1 – 3 von 3 für Suche 'Fairtlough, Matthew V.', 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
    First order lax logic as a framework for constraint logic programming

    First order lax logic as a framework for constraint logic programming von Fairtlough, Matthew V., Mendler, Michael V., Walton, Matt

    Veröffentlicht 1997
    Buch Fernleihe Bestellen


    Gespeichert in:
  2. 2
    Ternary simulation a refinement of binary functions or an abstraction of real-time behaviour?

    Ternary simulation a refinement of binary functions or an abstraction of real-time behaviour? von Mendler, Michael V., Fairtlough, Matthew V.

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Ordinal complexity of recursive programs and their termination proofs

    Ordinal complexity of recursive programs and their termination proofs von Fairtlough, Matthew V.

    Veröffentlicht 1992
    Buch Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: