权威例句
Edinburgh LCFEdinburgh LCFLCF considered as a programming languageEdinburgh LCF. A mechanized logic of computationEdinburgh LCF : a mechanised logic of computationA Metalanguage for interactive proof in LCFLogic and computation: interactive proof with Cambridge LCFlCf-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...