Logic for Computable Functions
<language>
(LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]Last updated: 1995-01-06
Nearby terms:
logic emulator ♦ Logic for Computable Functions ♦ logic gate ♦ logic programming
Try this search on Wikipedia, Wiktionary, Google, OneLook.
Loading
