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


Copyright Denis Howe 1985

directoryold.com. General Business Directory. http://hotbookee.com.