VDict - Definition of model theory

search result for model theory in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 5 6 Next > Last

AGM Theory for Belief Revision distributive lattice disjoint union proof theory IBM 1620 PROSE Cecil deterministic automaton effective computable Attributed File System Ontic complete partial ordering CyberGlove compactness preserving Parallel Fortran reduction strategy Gottlob Frege nonlinear simulation low-bandwidth complete ASL+syntax tree backward analysis Xerox Data Systems Model 940 PDP-11 Algebra of Communicating Processes Pari combination Graph-Oriented Object Database Open Distributed Processing Brain Aid Prolog semantics join analogue computer Bezier Cornell Theory Center domain architecture linear logic International Organization for Standardization DECmate I NIAL SOAR reflexive Data definition language nondeterministic automaton Dynamic HTML legal B-Method DACTL Desktop Management Task Force capability transport layer Andrew Tanenbaum Smart Battery Data baz Hopfield network CHARITY Godzillagram decision problem Omega-algebraic plonk set complement GNU Network Object Model Environment Axiomatic Architecture Description Language Vienna Development Method Specification Language network Constraint Handling In Prolog discriminated union Remote Procedure Call burn-in period multiple perspective software development proof alpha conversion complete metric space Cinderella Book steganography data link layer operational semantics linear argument

First < Previous 1 2 3 4 5 6 Next > Last