VDict - Definition of first-order predicate calculus

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

First < Previous 1 2 3 4 5 6 Next > Last

Bernstein condition domain theory Programmer's Switch teraflop club Annual Change Traffic Call Unix DV cartridge lobotomy up OBJ3 vertical application pre-order traversal filter promotion TEMPLOG MPEG-21 ordering jack in higher-order function followup FL ASL+defect analysis Clean embedding Object Role Modeling binary package Steelman Cube *LISP topic thread 120 reset statistics referential transparency AppleTalk Filing Protocol Gauss greek algebraic repeating group reliable communication hierarchical database tracking go voice Indexed Sequential Access Method relation Obliq Lisp sequential file matching NetBIOS Omega-algebraic instruction set architecture data driven deductive database dongle-disk Greenwich Mean Time token bus bottom-up implementation call-by-value BeBOP map Network File System calling convention shim Interactive CourseWare channel service unit knowledge representation Language Of Temporal Ordering Specification Write-Once Read-Many permutation Make space complexity request for proposal NUXI problem Complementary Metal Oxide Semiconductor time complexity processor farm superscalar strict evaluation demo mode singleton variable Oz

First < Previous 1 2 3 4 5 6 Next > Last