Author Results for Wadsworth Christopher P.

(Robin)
Gordon,Michael J. C.,
Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth
Milner,R.
Scottish Universities Summer School in Physics
see all »
SpringerLink (Online service)
Wadsworth,Christopher P.

1
Edinburgh LCF a mechanised logic of computation

Cover is for reference only
Main Authors: Gordon Michael J. C., 1948-
Group Author: Milner R. (joint author.); (Robin) 1934- (joint author.); Wadsworth Christopher P.
Published: Springer-Verlag,
Publication Dates: 1979.
Call Number: TP303/G664/
Book
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search —