VDict - Definition of symbolic logic

search result for symbolic logic in Computing (FOLDOC) dictionary

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

Turbo Prolog OR TTL Sequel Delta-Prolog Boolean Logic Design Language Uranus PDP-7 Haskell Curry implies southbridge paradox complete inference system MRS literal neutrosophic statistics LYaPAS logical complement Extended Concurrent Prolog D-type flip-flop HASL Cube PPLambda fuzzy subset cognitive architecture Western Digital Corporation Intel 80186 Modular Prolog REGTRAL converse most general unifier Mathematica Conjunctive Normal Form LAURE Andorra-I white box testing QLOG real estate Leda Strand applicative language transistor backward chaining deductive database gate BeBOP Standard ML of New Jersey Generic Expert System Tool Polka ones complement Qu-Prolog ALLIANCE twos complement Andorra Kernel Language proof complement intelligent backtracking bound variable PowerPC 601 Stone Age green lightning content addressable memory MLISP Wafe Oz G guard incremental constraint solver Z machine cycle formula modal latch DACTL String Oriented Symbolic Language SPEC CINT92 presence detect POOL2 DeMorgan's theorem

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