5 treff

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
IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications
Bok Engelsk 1993
Mechanized reasoning and hardware design
edited by C. A. R. Hoare and M. J. C. Gor...
Bok Engelsk 1992
Programming language theory and its implementation : applicative and imperative paradigms
Michael J. C. Gordon
Bok Engelsk 1988
The denotational description of programming languages : an introduction
Michael J. C. Gordon
Bok Språk ikke angitt 1979
Edinburgh LCF : a mechanised logic of computation
Gordon, Michael J. C.
Bok Språk ikke angitt 1979