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

Bird-Meertens Formalism Complementary Metal Oxide Semiconductor time complexity processor farm superscalar strict evaluation demo mode singleton variable difference equation Extensible Shell 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 gray code first-in first-out FP UFO Universal Serial Bus inverted index bubble sort software handshaking Computational Adequacy Theorem segmentation set JavaServer Pages bogo-sort dread high bit disease CENELEC Amiga C+-scalability data bus round-robin spiral model belief revision checksum Test coverage entropy Church integer reverse engineering connection-oriented curried function Enterprise JavaBeans screaming tty Concurrent ML abstraction Skel-ML buzz N lambda lifting open High Performance Fortran Similix hop San Francisco 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

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