Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
511	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: ctan.mirrorcatalogs.com Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
512	An Axiomatic Semantics for RDF, RDF-S, and DAML+OIL Richard Fikes Deborah L McGuinness Knowledge Systems Laboratory Computer Science Department Stanford University Add to Reading List Source URL: www.ksl.stanford.edu Language: English - Date: 2003-02-26 18:55:11 Semantic Web Model theory Z notation First-order logic Predicate logic Resource Description Framework S Axiom Type theory Mathematical logic Logic Mathematics
513	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: piotrkosoft.net Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
514	A Self-Verifying Theorem Prover Jared Davis Ph.D. Defense Department of Computer Sciences The University of Texas at Austin Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-12-31 01:37:44 Proof theory Lisp programming language Model theory Deduction Mathematical proof ACL2 Thoralf Skolem Theorem Axiom Logic Mathematics Mathematical logic
515	GRADUATE SCHOOL SILLIMAN UNIVERSITY DUMAGUETE CITY Master of Arts in Teaching Mathematics (Revised Curriculum effective SY’92-93) Add to Reading List Source URL: su.edu.ph Language: English - Date: 2013-03-11 00:41:53 Abstract algebra Linear algebra Algebraic structures Axiom Space Number theory Philosophy of mathematics Vector space Structure Algebra Mathematics Mathematical structures
516	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: ctan.uib.no Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
517	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: tug.ctan.org Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
518	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: ftp.jaist.ac.jp Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
519	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: get-software.net Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management
520	The schemata package Charles P. Schaum charles dot schaum at comcast dot net v0.7 from[removed]Abstract The schemata package facilitates the creation of topical schemata, outlines Add to Reading List Source URL: ctan.mackichan.com Language: English - Date: 2013-09-23 21:02:08 Database schema Schema Axiom schema Science Mind Ethology Data modeling Genetic algorithms Data management

UPDATE