Treffer 1 – 6 von 6 für Suche 'Fourman, Michael', Suchdauer: 0,03s 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
    Introduction to Computation Haskell, Logic and Automata

    Introduction to Computation Haskell, Logic and Automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Veröffentlicht 2021
    Volltext öffnen
    Elektronisch E-Book


    Gespeichert in:
  2. 2
    Proof and design

    Proof and design von Fourman, Michael P.

    Veröffentlicht 1995
    Buch Fernleihe Bestellen


    Gespeichert in:
  3. 3
    Introduction to computation Haskell, logic and automata

    Introduction to computation Haskell, logic and automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

    Veröffentlicht 2021
    Inhaltsverzeichnis
    Buch Fernleihe Bestellen


    Gespeichert in:
  4. 4
    Partial functions in a total setting

    Partial functions in a total setting von Finn, Simon, Fourman, Michael, Longley, John

    Veröffentlicht 1996
    Buch Fernleihe Bestellen


    Gespeichert in:
  5. 5
    Applications of sheaves proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9 - 21, 1977

    Applications of sheaves proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9 - 21, 1977

    Veröffentlicht 1979
    Weitere Verfasser: “… Fourman, Michael P. 1950- …”
    Inhaltsverzeichnis
    Tagungsbericht Buch Fernleihe Bestellen


    Gespeichert in:
  6. 6
    Applications of Sheaves Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977

    Applications of Sheaves Proceedings of the Research Symposium on Applications of Sheaf Theory to Logic, Algebra, and Analysis, Durham, July 9–21, 1977

    Veröffentlicht 1979
    Weitere Verfasser: “… Fourman, Michael P. …”
    Volltext öffnen
    Elektronisch E-Book Fernleihe Bestellen


    Gespeichert in:

Suchwerkzeuge: