VDict - Definition of first-order logic

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

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

call-by-name encryption tagged queueing Cyrix 6x86 boot disk context switch monitor algebra spod Han character constant applicative form Motorola 68010 dynamic random access memory cut a tape intelligent terminal hill climbing Bezier curve Dissociated Press Nyquist Theorem glitch Business Software Alliance natural deduction bum walking drives priority scheduling integrated circuit fully lazy lambda lifting cache Domain Name System back door String Oriented Symbolic Language pattern matching vanilla microcode polymorphic lambda-calculus Cyc Scheme Lorenz attractor union compiler array powerdomain axiomatic set theory Pentium Pro fence MIPS Technologies, Inc.sort hook applet phacker Basic Input/Output System demon Finite State Machine Zuse vaxocentrism occam crunch phase bootstrap loader random Material Requirements Planning portability second generation computer Baudot code progressive coding speech recognition random-access memory grammar moby mirror rl Lightweight Directory Access Protocol functional programming Real Programmer Persistent Functional Language abstract interpretation vadding canonical cybernetics Constructive Cost Model

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