LCF

LCF
Page d'aide sur l'homonymie Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom.

LCF est un sigle signifiant :

En français:

En anglais:

  • Logic for Computable Functions.

LCF peut aussi être l'abréviation de Lucifer (notamment dans le film La Neuvième Porte)


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article LCF de Wikipédia en français (auteurs)

Игры ⚽ Нужно сделать НИР?

Regardez d'autres dictionnaires:

  • LCF — es un demostrador de teoremas interactivo desarrollado en la Universidad de Edimburgo y la Universidad de Stanford por Robin Milner y otros. LCF introdujo el lenguaje de programación ML para permitir al usuario escribir tácticas de demostración.… …   Enciclopedia Universal

  • LCF — Este artículo o sección necesita referencias que aparezcan en una publicación acreditada, como revistas especializadas, monografías, prensa diaria o páginas de Internet fidedignas. Puedes añadirlas así o avisar al …   Wikipedia Español

  • LCF — The term LCF may refer to:* Boeing 747 Large Cargo Freighter * Log control function * Longitudinal center of flotation * Launch control facility * Logic of Computable Functions * London College of Fashion * Low cycle fatigue * LCF theorem prover… …   Wikipedia

  • LCF (télévision) — Création 2008 Langue Français, Éwé, Kabiyé Pays  Togo Statut …   Wikipédia en Français

  • LCF (theorem prover) — LCF (Logic for Computable Functions) is an interactive automated theorem prover developed at the universities of Edinburgh and Stanford by Robin Milner and others. LCF introduced the general purpose programming language ML to allow users to write …   Wikipedia

  • LCF-Notation — Der Foster Graph: Bezeichnet man den obersten Knoten mit v0, dann ist 90, [17, 9,37, 37,9, 17], 15 eine zugehörige LCF Notation. In der Kombinatorik als Teilgebiet der diskreten Mathematik ist die Lederberg Coxeter Fruchte Notation (kurz LCF)… …   Deutsch Wikipedia

  • LCF Rothschild — Banque Privée Edmond de Rothschild SA Unternehmensform Aktiengesellschaft ISIN …   Deutsch Wikipedia

  • LCF — Lincoln Community Foundation (Community » Non Profit Organizations) **** Low Cab Forward (Governmental » Transportation) ** Lemur Conservation Foundation (Community » Non Profit Organizations) ** Linker Control File (Norton Guides compiler)… …   Abbreviations dictionary

  • LCF — least common factor; left circumflex [coronary artery]; lymphocyte culture fluid …   Medical dictionary

  • LCF — • Logic for Computable Functions Theorembeweiser, Grundlage für die Computersprache ML • bei Lichtwellenleiter: Low Cost Fiber • Launch Complex Equipment • Language Central Facility • LAN Configuration Facility • Local Cycle Fatigü ( > IEEE… …   Acronyms

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”