Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
331	Dynamic and Distributed Scheduling in Communication Networks and Manufacturing Systems Add to Reading List Source URL: 139.91.183.30 Language: English - Date: 2008-12-01 20:09:16 Computing World Wide Web RDF Schema Database schema Schema Resource Axiom schema Resource Description Framework Semantic Web Data modeling RDF
332	On Formal Specification of a Proof Tool R.D. Arthan ICL Secure Systems, Eskdale Road, Winnersh, Berks. RG11 5TT Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2004-04-12 08:34:13 First-order logic Model theory Predicate logic Axiom Zermelo set theory Function Well-formed formula Logic Mathematics Mathematical logic
333	Microsoft PowerPoint - ATP.ppt Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2010-09-28 21:48:06 Automated theorem proving Logical consequence Proof theory Philosophical logic First-order logic Resolution Propositional calculus Axiom Inference Logic Mathematical logic Mathematics
334	Fall 2003 BMI[removed]CS 426 Z- 1 Problem Set No. 2 BMI[removed]CS 426 Add to Reading List Source URL: www.genetic-programming.com Language: English - Date: 2006-11-17 21:12:18 Science Applied mathematics Mathematics Data modeling Cybernetics Schema Axiom schema Database schema Crossover Genetic algorithms Mathematical optimization Population genetics
335	HOL Formalised: Language and Overview R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2014-04-27 11:48:02 Formal languages Formal systems Logic in computer science Type theory HOL First-order logic Rule of inference Interpretation Axiom Logic Mathematical logic Model theory
336	Logique & Analyse[removed]), x–x THE LOGIC OF BEING INFORMED LUCIANO FLORIDI∗ Abstract One of the open problems in the philosophy of information is whether there is an information logic (IL), different from epistem Add to Reading List Source URL: www.philosophyofinformation.net Language: English - Date: 2014-03-28 12:55:32 Formal systems Modal logic Philosophical logic Non-classical logic Epistemic modal logic Luciano Floridi Propositional calculus Axiom Information Logic Mathematical logic Science
337	Microsoft Word - AIME_camera ready (5).doc Add to Reading List Source URL: www.swatproject.org Language: English - Date: 2011-06-17 05:51:17 Information science Semantic Web Medical classification SNOMED CT Formal systems Systematized Nomenclature of Medicine Knowledge representation Axiom Ontology Mathematical logic Logic Science
338	CSL Technical Report SRI-CSL-01-01 • April[removed]Theory Interpretations in PVS Sam Owre and N. Shankar Funded by NASA Langley Research Center contract numbers NAS1[removed]and Add to Reading List Source URL: pvs.csl.sri.com Language: English - Date: 2006-11-30 07:15:58 Model theory Formal systems Proof theory Interpretation Philosophy of mind Theory First-order logic Axiom Structure Logic Mathematical logic Metalogic
339	HOL Formalised: Proof Development System R.D. Arthan Lemma 1 Ltd. [removed] 25 October 1993 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-02-14 05:58:41 Logic in computer science Formal systems Logical syntax Philosophical logic Formal methods HOL Axiom Logic for Computable Functions Theory Logic Mathematics Mathematical logic
340	PREM IER IS SUE www.axiomsw.com FALL 2010 Add to Reading List Source URL: www2.axiomsw.com Language: English - Date: 2010-11-03 14:55:26 Workflow Θ Mathematics Logic Software Axiom Application software

UPDATE