Logic for Computable Functions
<language> (LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]
(1995-01-06)
Nearby terms:
logic bomb « Logic Design Language « logic emulator
«
Logic for Computable Functions » logic gate »
logic programming » Logic Replacement Technology
|