Treffer 1 - 5 von 5 für Suche 'Fourman, Michael P.', Suchdauer: 0,26s
Treffer weiter einschränken
-
1
Introduction to Computation Haskell, Logic and Automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-
Veröffentlicht 2021Signatur: Wird geladen …BTU01
Standort: Wird geladen …
FCO01
FHA01
FHD01
FHI01
FHM01
FHN01
FHR01
FLA01
FRO01
FWS01
FWS02
HTW01
UBA01
UBG01
UBM01
UBR01
UBT01
UBW01
UBY01
UER01
UPA01
URL des Erstveröffentlichers
Elektronisch E-Book -
2
Proof and design von Fourman, Michael P.
Veröffentlicht 1995Signatur: Wird geladen …
Standort: Wird geladen …Buch Wird geladen … -
3
Introduction to computation Haskell, logic and automata von Sannella, Donald 1956-, Fourman, Michael P. 1950-, Peng, Haoran, Wadler, Philip 1956-
Veröffentlicht 2021Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Buch -
4
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 1979Weitere Verfasser: “… Fourman, Michael P. …”
Signatur: Wird geladen …BSB01
Standort: Wird geladen …
BTU01
BTW01
DMM01
EUV01
FAW01
FHA01
FHI01
FHM01
FKE01
FLA01
HTW01
LCO01
TUM01
UBA01
UBG01
UBM01
UBR01
UBT01
UBY01
UER01
UPA01
Volltext
Elektronisch E-Book -
5
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 1979Weitere Verfasser: “… Fourman, Michael P. 1950- …”
Signatur: Wird geladen …Inhaltsverzeichnis
Standort: Wird geladen …
Tagungsbericht Buch
Suchwerkzeuge:
Ähnliche Schlagworte
Algorithms
Anwendung
Automat Automatentheorie
Computer Science Logic and Foundations of Programming
Computer science
Computer science—Mathematics
Datentyp
Design and Analysis of Algorithms
Garbe Mathematik
Garbentheorie
HASKELL
Konferenzschrift 1977 Durham
Mathematics of Computing
Mathematische Logik
Suchverfahren
Theory of Computation
Faisceaux, Théorie des - Congrès
Logic, Symbolic and mathematical
Proof theory
Schoven (Topologie)
Sheaf theory Congresses
System design
Systems engineering