VDict - Definition of first-order logic

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

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

intelligent backtracking bound variable PowerPC 601 Stone Age green lightning content addressable memory MLISP brute force G guard incremental constraint solver machine cycle formula modal latch DACTL SPEC CINT92 presence detect POOL2 DeMorgan's theorem Active Reconfiguring Message flip-flop sound fork bomb \begin CORAL declarative language race condition LNF gamma correction CHOCS lower set Stephen Kleene VULCAN memory leak Janus exception cyclic redundancy check definitional constraint programming Advanced Micro Devices, Inc.in-order traversal JK flip-flop dinosaur pen symbolic inference for loop Q Amulet scan path redundancy garbageabetical order go root ALLOY hobbit backtracking high bit Eh Quantum-dot Cellular Automata TrafoLa functional orthogonal Order Code Processor Infinite Monkey Theorem Hamming distance Second-Order Lambda-calculus Coalition for Networked Information Woodenman time bomb Scott domain OCP post-order traversal database APL2 supercompilation dogpile Forsythe leading leapfrog attack dry run boundedly complete Bernstein condition

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