VDict - Definition of higher-order logic

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

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

administrative distance negation by failure Mandala truth table Kernel Parlog KAP Emacs Lisp Slot A REFINE Turbo Prolog OR TTL Sequel Low Voltage Differential Delta-Prolog Boolean Logic Design Language Uranus inference Haskell Curry implies Group-Sweeping Scheduling southbridge parallelism paradox hyperspace GSL complete inference system MRS neutrosophic statistics LYaPAS logical complement Windows NT 3.5 Extended Concurrent Prolog D-type flip-flop HASL frame rate LOWL fuzzy subset cognitive architecture Windows for Workgroups Western Digital Corporation Intel 80186 serviceability Modular Prolog REGTRAL converse most general unifier Conjunctive Normal Form elegant disk drive LAURE Andorra-I 100BaseVG S-Video white box testing QLOG real estate Leda bounce Data Link Provider Interface Strand explicit parallelism applicative language transistor backward chaining gate design recovery Amiga Standard ML of New Jersey American Wire Gauge Generic Expert System Tool Polka Logical Link Control and Adaptation Protocol ones complement Qu-Prolog ALLIANCE EPSILON zoom PI

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