Hyper Dictionary

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