<language> (LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]
(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 2010 Denis Howe