English Dictionary
Computer Dictionary
Video Dictionary
Thesaurus
Dream Dictionary
Medical Dictionary
Search Dictionary:
Meaning of LOGIC FOR COMPUTABLE FUNCTIONS
Computing Dictionary
Definition:
(LCF) Part of the
edinburgh proof assistant
.
COPYRIGHT © 2000-2009 HYPERDICTIONARY.COM
HOME
|
ABOUT HYPERDICTIONARY