VDict - Definition of first order predicatelogic

search result for first order predicatelogic in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 Next > Last

Han character Goffin constant applicative form Motorola 68010 cut a tape hill climbing Bezier curve Nyquist Theorem glitch Business Software Alliance bum walking drives priority scheduling fully lazy lambda lifting cache Domain Name System String Oriented Symbolic Language pattern matching vanilla polymorphic lambda-calculus ML Scheme Lorenz attractor union compiler array powerdomain Pentium Pro fence sort hook applet phacker Basic Input/Output System lambda-calculus Zuse vaxocentrism Subset-Equational Language Wild_LIFE occam crunch phase bootstrap loader random Material Requirements Planning portability Baudot code progressive coding speech recognition random-access memory grammar mirror resolution rl Lightweight Directory Access Protocol functional programming Real Programmer Persistent Functional Language abstract interpretation vadding cybernetics Constructive Cost Model Common Gateway Interface PRECCX heap binary file Gofer ColdFusion scratch monkey hostname logic programming Haskell Opal bit-paired keyboard Envoy PROgrammed Graph REwriting Systems BASIC disk drive stack cracker

First < Previous 1 2 3 4 5 Next > Last