VDict - Definition of formal logic

search result for formal logic in Computing (FOLDOC) dictionary

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

white box testing A Language for Attributed Definitions QLOG real estate Leda FLIP Strand applicative language transistor backward chaining deductive database gate BeBOP Standard ML of New Jersey Vienna Definition Language Generic Expert System Tool Larch Polka Imperial Software Technology protocol ones complement linear argument Qu-Prolog Request For Comments ALLIANCE infinite automaton twos complement source code Andorra Kernel Language proof complement intelligent backtracking Vienna Development Method PowerPC 601 Stone Age green lightning content addressable memory MLISP black art Oz G guard incremental constraint solver Z machine cycle formula modal inline latch DACTL SPEC CINT92 programming language presence detect DeMorgan's theorem induction LPG Active Reconfiguring Message combinator flip-flop sound fork bomb \begin CORAL declarative language race condition fix Stephen Kleene VULCAN memory leak Janus exception definitional constraint programming Advanced Micro Devices, Inc.JK flip-flop symbolic inference Berkeley Network for loop Q Amulet

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