VDict - Definition of Cornell Theory Center

search result for Cornell Theory Center in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

decision problem Omega-algebraic MITRE Corporation System R GIRL plonk set complement discriminated union Lisp Object-Oriented Programming System burn-in period proof alpha conversion complete metric space Cinderella Book steganography gweep operational semantics linear argument Institut National de Recherche en Informatique et Automatique Mu static analysis Bird-Meertens Formalism rdb Busy Beaver monad infinite automaton toy language Michigan Algorithm Decoder Church of the SubGenius Basic Encoding Rules constructor wabbit GAP functor black art least upper bound open/closed principle typed lambda-calculus relational algebra eta conversion evaluator Richard Hamming transitive closure metaheuristic Hamiltonian problem Compact Disc bottom-unique combinator Concrete Data Structure Actors quantum bogodynamics Discordianism Head Normal Form Modula-3 greatest lower bound computability theory entropy Internet Network Information Center Stephen Jobs Hierarchical Music Specification Language New York State Educational Reasearch ETwork Stephen Kleene tree Domain Analysis A. K. Erlang Compatible Timesharing System intuitionistic logic User Datagram Protocol Liskov substitution principle head-strict Neutrosophy compact World Wide Web Consortium Management Information Base Turing Machine partial ordering quantum computer dual axiomatic semantics

First < Previous 1 2 3 4 Next > Last