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

DV cartridge lobotomy up OBJ3 vertical application head normalisation theorem pre-order traversal filter promotion TEMPLOG MPEG-21 ordering jack in higher-order function TALE followup FL ASL+defect analysis Clean SOL embedding Object Role Modeling binary package Steelman Cube PPLambda *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 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 Bird-Meertens Formalism Complementary Metal Oxide Semiconductor time complexity processor farm superscalar strict evaluation demo mode singleton variable Oz difference equation HiLog

First < Previous 1 2 3 4 5 Next > Last