Dictionary
Thesaurus
Encyclopedia
Translator
Web

logic for computable functions

 - 1 dictionary result
Computing Dictionary

Logic for Computable Functions language
(LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]
(1995-01-06)

The Free On-line Dictionary of Computing, © 1993-2007 Denis Howe
Cite This Source
Search another word or see logic for computable functions on Thesaurus | Reference
FacebookTwitterFollow us: