VDict - Definition of Cornell Theory Center

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

First < Previous 1 2 3 4 Next > Last

\perp axiom cybernetics monadic computable automata theory canonicity predomain autoprojector CA Loebner Prize FSM NOC Bend Over, Here It Comes Again computron sticky analysis consistently complete block transfer computations PEARL GRG directed set minimal automaton Universal algebra CPU Info Center SUPER type assignment Axiom of Choice closed term \sqsubseteq LAMBDA beta conversion pi-calculus Abstract Machine Notation NIC Martin Marietta Laboratories Moorestown NIC.DDN.MIL COMTRAN monotonic CUCH boundedly complete COLD-K bottom F+L crayola books AGM Theory for Belief Revision distributive lattice disjoint union proof theory LambdaMOO PROSE deterministic automaton effective computable Ontic complete partial ordering ABLE compactness preserving reduction strategy Gottlob Frege low-bandwidth Turbo Prolog complete ASL+syntax tree backward analysis Algebra of Communicating Processes Pari combination core gateway semantics join linear logic Defense Data Network Network Information Center Internet Registry NIAL reflexive National Center for Supercomputing Applications nondeterministic automaton B-Method CHARITY Godzillagram

First < Previous 1 2 3 4 Next > Last