VDict - Definition of domain calculus

search result for domain calculus in Computing (FOLDOC) dictionary

First < Previous 1 2 3 4 Next > Last

epsilon propositional calculus predicate calculus CUCH Alonzo Church CIRcuit CALculus DSEE CIDR OTDR Knights of the Lambda-Calculus PROSE Domain Software Engineering Environment PRMD ADMD BIND FQDN name service switching RFC 1591 head normalisation theorem ontology resolver domain maturity symbolic logic System F Point Of Contact TALE ADDD au MORTRAN \perp mil SOL primary management domain TDR BDC PDC edu gov predomain Time Domain Reflectometer Distributed Operating Multi Access Interactive Network Modular Prolog DNS consistently complete am STD 13 domain selection CNAME Administrative Domain com propositional logic TLD PD AD Green's Theorem cyber-squatting Canada MPLS domain Decus cpp Administration Management Domain boxology RFC 1520 int \sqsubseteq Twin Vector Quantization call-by-need monotonic distributed database boundedly complete RFC 1034 RFC 1035 Joy Mail Exchange Record alpha conversion knowledge-based system ISWIM C-Prolog Berkeley Internet Name Domain complete partial ordering compactness preserving

First < Previous 1 2 3 4 Next > Last