VDict - Definition of higher-order logic

search result for higher-order logic in Computing (FOLDOC) dictionary

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

tracking alpha/beta pruning go voice Indexed Sequential Access Method relation Knowledge Query and Manipulation Language sequential file matching NetBIOS server clock rate Omega-algebraic instruction set architecture Science and Engineering Research Council data driven dongle-disk Greenwich Mean Time token bus call-by-value Network File System NPL goto calling convention shim Interactive CourseWare PEEK knowledge representation Language Of Temporal Ordering Specification priority inversion Write-Once Read-Many IAS permutation Cellular Neural Network Make PEARL space complexity minicomputer request for proposal NUXI problem Complementary Metal Oxide Semiconductor time complexity processor farm superscalar strict evaluation demo mode singleton variable difference equation SPL extended memory dithering longitudinal parity fascist portmapper Quicksort ARM710 rain dance transport layer High bit-rate Digital Subscriber Line CPL profile decision support database inline gray code first-in first-out Universal Serial Bus inverted index bubble sort software handshaking Computational Adequacy Theorem segmentation set JavaServer Pages bogo-sort dread high bit disease CENELEC C+-scalability data bus round-robin spiral model belief revision

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