Theoretical Framework
Checking Validity of Quantifier-Free Formulas in Combinations of First-Order Theories Clark W. Barrett Ph.D. Dissertation Defense Department of Computer.
HPC Applications of Materials Modeling
Courses of Study v3
Catalyzing the Ecosystem Around Mobile Learning for Development Matthew Kam Assistant Professor Carnegie Mellon University Human-Computer Interaction Institute.
McGuinnessCOGNA October 3, 2003 Ontologies: What you should know and why you might care Deborah McGuinness Associate Director and Senior Research Scientist.