VDict - Definition of higher-order logic

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

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

twos complement Andorra Kernel Language radix natural language processing proof eXtended Graphics Array complement intelligent backtracking bound variable manularity Radio Frequency Interference Ruby PowerPC 601 Stone Age green lightning content addressable memory font MLISP brute force Spectral Band Replication G guard incremental constraint solver metaphone meta computer vision baud barf Slot 1 formula LIS modal SETL2 cable modem latch MPEG-2 DACTL SPEC CINT92 presence detect POOL2 DeMorgan's theorem Active Reconfiguring Message Macintosh II flip-flop sound fork bomb \begin CORAL declarative language race condition Programmable Interrupt Controller gamma correction interpolation Upper Layer Protocol Partial Response Maximum Likelihood lower set Stephen Kleene Erasable Programmable Read-Only Memory Rockwell Protocol Interface VULCAN memory leak refresh rate Janus exception cyclic redundancy check definitional constraint programming Advanced Micro Devices, Inc.in-order traversal E-carrier system JK flip-flop dinosaur pen symbolic inference Microsoft SQL Server for loop Q Amulet scan path redundancy garbageabetical order go root hobbit

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