LCF ⇝
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