Logic for Computable Functions

<language> (LCF) Part of the Edinburgh proof assistant.

[What is it? Address?]

Last updated: 1995-01-06

Try this search on Wikipedia, OneLook, Google

Nearby terms:

logic bomb « Logic Design Language « logic emulator « Logic for Computable Functions » logic gate » logic programming » Logic Replacement Technology

Loading