Gordon, Michael J. C., 1948-....
Gordon, Michael J.C.
Michael J. C. Gordon computer scientist
Gordon, Michael J.C., informatica, 1948-
VIAF ID: 93782851 ( Personal )
Permalink: http://viaf.org/viaf/93782851
Preferred Forms
-
-
-
- 100 1 _ ‡a Gordon, Michael J. C.
-
- 100 1 _ ‡a Gordon, Michael J. C. ‡d 1948-
- 100 1 _ ‡a Gordon, Michael J. C., ‡d 1948-
-
-
-
- 100 1 _ ‡a Gordon, Michael J. C., ‡d 1948-....
-
- 100 1 _ ‡a Gordon, Michael J.C.
-
- 100 0 _ ‡a Michael J. C. Gordon ‡c computer scientist
4xx's: Alternate Name Forms (14)
Works
Title | Sources |
---|---|
Denotacyjny opis języków programowania | |
Denotational description of programming languages | |
Edinburgh LCF : a mechanised logic of computation | |
I feel bullied | |
Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications - HOL '92 | |
Introduction to HOL. - | |
Mechanized reasoning and hardware design | |
Operational reasoning and denotational semantics | |
Programming language theory and its implementation : applicative and imperative paradigms | |
Towards a semantic theory of dynamic binding |