Logic for computable functions
language
(LCF) Part of the Edinburgh proof assistant.
[What is it? Address?]
(1995-01-06)
Read Also:
- Logic-gate
noun, Electronics. 1. 1 (def 16b). logic gate A device, usually an electrical circuit, that performs one or more logical operations on one or more input signals. Logic gates are the building blocks of digital technology.
- Loewy
[loh-ee] /ˈloʊ i/ noun 1. Raymond Fernand [fer-nand] /fərˈnænd/ (Show IPA), 1893–1986, U.S. industrial designer, born in France.
- Loewi
[loh-ee; German lœ-vee] /ˈloʊ i; German ˈlœ vi/ noun 1. Otto [ot-oh;; German awt-oh] /ˈɒt oʊ;; German ˈɔt oʊ/ (Show IPA), 1873–1961, German pharmacologist in the U.S.: Nobel Prize in Medicine 1936. /ˈləʊɪ/ noun 1. Otto. 1873–1961, US pharmacologist, born in Germany. He shared a Nobel prize for physiology or medicine (1936) with Dale for […]
- Loewe
[loh] /loʊ/ noun 1. Frederick, 1904–88, U.S. composer, born in Austria. /ləʊ/ noun 1. Frederick. 1904–88, US composer of such musical comedies as Brigadoon (1947), My Fair Lady (1956), and Camelot (1960), all with librettos by Alan Jay Lerner /German ˈløːvə/ noun 1. (Johann) Karl (Gottfried). 1796–1869, German composer, esp of songs, such as Der […]
- Loew
[loh] /loʊ/ noun 1. Marcus, 1870–1927, U.S. movie theater and studio executive.