权威例句
Edinburgh LCF
Edinburgh LCF
LCF considered as a programming language
Edinburgh LCF. A mechanized logic of computation
Edinburgh LCF : a mechanised logic of computation
A Metalanguage for interactive proof in LCF
Logic and computation: interactive proof with Cambridge LCF
lCf-Noronary Artery Bypass Grafting iin Severe Left Veni-vicular Dysfunction : Excellent Survival With Improved Ejection Fraction an...
Modulation of lymphocyte migration by human lymphokines. II. Purification of a lymphotactic factor (LCF)
Logic and computation—Interactive proof with Cambridge LCF : By L.C. Paulson. Cambridge University Press, Cambridge, 1987, Price £2...