Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
41	A Specification Formalism for Interacting Objects∗ Olaf Owe Department of Informatics, University of Oslo, Norway email: , fax: +Abstract Add to Reading List Source URL: folk.uio.no Language: English - Date: 2011-09-02 08:27:14 Logic Mathematical logic Abstraction Model theory Predicate logic Formal languages Logic in computer science First-order logic Interpretation Modal logic Axiom Equality
42	D Journal of Literature and Art Studies, ISSNJanuary 2013, Vol. 3, No. 1, DAVID Add to Reading List Source URL: yongfeng.me Language: English - Date: 2015-03-02 08:17:50 Philosophy Logic Epistemology Axiom Knowledge-based systems Foundations of mathematics Reason Knowledge Euclidean geometry Argument Belief Truth
43	¨ PROSPECTS FOR A NAIVE THEORY OF CLASSES HARTRY FIELD, HARVEY LEDERMAN AND TORE FJETLAND ØGAARD 1. I NTRODUCTION1 Add to Reading List Source URL: www.nyu.edu Language: English - Date: 2014-11-26 15:35:09 Mathematical logic Logic Mathematics Model theory Predicate logic Automated theorem proving Logic programming Substitution First-order logic Normal distribution Structure Axiom of extensionality
44	On the Syntax and Semantics of Effect Axioms Haythem O. Ismail Department of Computer Science German University in Cairo e-mail: Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-09 04:22:06 Logic Mathematical logic Formal systems Abstraction Axiom Logic programming Mereology
45	Downloadedto. Redistribution subject to SIAM license or copyright; see http://www.siam.org/journals/ojsa.php SIAM J. COMPUT. Vol. 2, No. 4, DecemberSET MERGING ALGORITHMS* Add to Reading List Source URL: bioinfo.ict.ac.cn Language: English - Date: 2015-11-19 07:35:47 Graph theory Mathematics Spanning tree Axiom of choice Tree Minimum spanning tree Ear decomposition Graph connectivity NP-complete problems Biconnected component Vertex cover
46	$SPAD/input schaum22.input Timothy Daly June 15, 2008 1 Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2008-07-09 01:50:48 Mathematical analysis Special functions Mathematics Sine Analytic functions Trigonometry Integral calculus Hyperbolic function Clausen function
47	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
48	To appear in: Jäger, Christoph; Winfried Löffler (edsEpistemology: Contexts, Values, Disagreement. Proceedings of the 34th International Wittgenstein Symposium. Frankfurt a.M.: Ontos. Rival Logics, Disagreemen Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:22 Philosophical logic Modal logic Logic Paraconsistent logic Philosophy of logic Material conditional Meaning First-order logic Intuitionistic logic Truth Sequent Axiom
49	$SPAD/input schaum1.input Timothy Daly June 15, 2008 1 Add to Reading List Source URL: axiom-developer.org Language: English - Date: 2008-07-09 01:50:41 Mathematical analysis Integral calculus Derivative Differential calculus Rates Integration by reduction formulae Hyperbolic function