VDict - Definition of first-order logic

search result for first-order logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 7 Next > Last

LDT Cirrus Logic propositional calculus fuzzy computing predicate calculus Wesley Clark functional unit SASL+LV fixed point combinator PowerFuL ECL application server Quty CIRcuit CALculus SRL Prometheus negation by failure Mandala truth table Kernel Parlog KAP REFINE Turbo Prolog OR TTL Sequel Delta-Prolog Boolean Logic Design Language Uranus inference Haskell Curry implies Group-Sweeping Scheduling southbridge parallelism paradox MRS complete inference system neutrosophic statistics LYaPAS logical complement D-type flip-flop Extended Concurrent Prolog HASL fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL converse most general unifier LUCID Conjunctive Normal Form disk drive LAURE Andorra-I 100BaseVG white box testing QLOG real estate Leda bounce Strand applicative language transistor backward chaining gate Standard ML of New Jersey Generic Expert System Tool Polka ones complement Qu-Prolog Quest ALLIANCE twos complement Andorra Kernel Language proof complement

First < Previous 1 2 3 4 5 6 7 Next > Last