Notice de personne
- Notice
Wadsworth, Christopher P.
Responsabilité(s) exercée(s) sur les documents :
Auteur
Source(s) :
Edinburgh LCF [Texte électronique] : a Mechanised Logic of Computation / by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.- Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1979
Edinburgh LCF [Texte électronique] : a Mechanised Logic of Computation / by Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth.- Berlin, Heidelberg : Springer-Verlag : Springer e-books, 1979
Identifiant de la notice : ark:/12148/cb17296066q
Notice n° :
FRBNF17296066
Création :
18/02/07
