著者典拠情報

著者標目形：
Gordon, Michael J. C., 1948-
属性：
Personal
日付：
1948-
注記：
His The denotational description of programming languages, c1979: t.p. (Michael J. C. Gordon) CIP data sheet (b. 2/28/48)
His Programming language theory and its implementation, c1988: t.p.(Computer Laboratory, University of Cambridge and SRI International)
著者典拠ID：
DA03224398


1.

図書
図書
1. 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
organized by CHEOPS ESPRIT BRA 3215 ; sponsored by IMEC and the Commission of the European Communities, Leuven, Belgium, 21-24 September 1992 ; edited by Luc J.M. Claesen, Michael J.C. Gordon
出版情報: Amsterdam ; New York : North-Holland, 1993
シリーズ名: IFIP transactions ; A . Computer science and technology ; 20
所蔵情報: 図書館
2.

図書
図書
2. Edinburgh LCF : a mechanised logic of computation (: gw ; : us)
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
出版情報: Berlin ; New York : Springer-Verlag, 1979
シリーズ名: Lecture notes in computer science ; 78
所蔵情報: 図書館