Suchergebnisse - Fourman, Michael P. 1950-

Introduction to Computation: Haskell, Logic and Automata

von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

Introduction to computation: Haskell, logic and automata

von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-

Inhaltsverzeichnis

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

Weitere beteiligte Personen: “… Fourman, Michael P. 1950- …”
Inhaltsverzeichnis