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

Programmer's Switch teraflop club Annual Change Traffic screen scraper Call Unix bomb DV cartridge lobotomy up OBJ3 neats vs. scruffies free variable vertical application head normalisation theorem Advanced RISC Machine pre-order traversal filter promotion MPEG-21 ordering jack in higher-order function linear type TALE followup ALPS FL ASL+defect analysis Clean SOL embedding Object Role Modeling binary package Steelman *LISP topic thread 120 reset statistics referential transparency AppleTalk Filing Protocol Gauss greek Milarepa algebraic repeating group reliable communication Pentium hierarchical database tracking go voice Indexed Sequential Access Method relation Obliq sequential file matching NetBIOS Omega-algebraic instruction set architecture data driven dongle-disk Greenwich Mean Time token bus bottom-up implementation call-by-value map Network File System NPL calling convention shim Interactive CourseWare knowledge representation Language Of Temporal Ordering Specification Write-Once Read-Many IAS permutation Cellular Neural Network Make space complexity minicomputer request for proposal NUXI problem

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