VDict - Definition of higherorder logic

search result for higherorder logic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

complete inference system 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 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 Oz G guard incremental constraint solver Z machine cycle formula modal latch DACTL SPEC CINT92 presence detect POOL2 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

First < Previous 1 2 3 4 5 Next > Last