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

Extensible Shell Z Language for Communicating Systems Ratatosk longitudinal parity fascist portmapper least fixed point Quicksort rain dance transport layer filter High bit-rate Digital Subscriber Line CPL profile decision support database inline predicate logic Horn clause induction LPG first-in first-out FP UFO inverted index bubble sort software handshaking Computational Adequacy Theorem combinator segmentation set bogo-sort dread high bit disease CENELEC scalability data bus round-robin spiral model belief revision checksum Test coverage entropy Church integer reverse engineering connection-oriented fix screaming tty Concurrent ML abstraction Skel-ML buzz N lambda lifting open High Performance Fortran Similix hop San Francisco Lolli complexity 6.001 IBM 1620 pathological password user name partial ordering root bridge pre-emptive multitasking key video random access memory Application Service Element XSB call-by-name encryption quantifier tagged queueing Cyrix 6x86 boot disk context switch spod

First < Previous 1 2 3 4 5 Next > Last