Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
121	Installation Instruction for Axiom Headwall [Doc AX02] Add to Reading List Source URL: www.hsiheadwalls.com Language: English - Date: 2015-03-01 20:58:33
122	Deciding Array Formulas with Frugal Axiom Instantiation Amit Goel1 , Sava Krsti´c1 , and Alexander Fuchs2 1 Strategic CAD Labs, Intel Corporation Add to Reading List Source URL: www.csee.ogi.edu Language: English - Date: 2008-12-15 17:42:24
123	Installation Instruction for Axiom Headwall [Doc AX02] Add to Reading List Source URL: www.hsiheadwalls.com Language: English - Date: 2015-03-01 20:59:05
124	Installation Instruction for Axiom Headwall [Doc AX02] Add to Reading List Source URL: www.hsiheadwalls.com Language: English - Date: 2015-03-01 20:57:54
125	Microsoft Word - U006_eikos_language_system_description_v2.doc Add to Reading List Source URL: ucadia.s3.amazonaws.com Language: English - Date: 2009-07-17 01:52:31 Science Predicate logic Axiom Model theory Eikos Mathematical logic Function Claim Mereology Mathematics Logic Patent law
126	Microsoft Word - 2016AxiomBookAwardsGuidelines.docx Add to Reading List Source URL: www.axiomawards.com Language: English - Date: 2015-06-10 22:30:24 Self-publishing Axiom Oxford University Press WALL-E Book packaging Small press Publishing Film Independent Publisher Book Award
127	Practical Reasoning with Nominals in the EL Family of Description Logics Yevgeny Kazakov Markus Krötzsch and František Simanˇcík Institute of Artificial Intelligence Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-04-26 07:06:34 Information science Non-classical logic Formal systems Knowledge representation Ontology Description logic Axiom Modal logic Mereology Logic Mathematical logic Mathematics
128	G Model MATECO-1496; ARTICLE IN PRESS No. of Pages 10 Add to Reading List Source URL: chichilnisky.com Language: English - Date: 2013-05-20 14:18:38 Decision theory Functional analysis Game theory Axiom of choice Measure Utility Lebesgue measure Graciela Chichilnisky Expected utility hypothesis Mathematics Mathematical analysis Algebra
129	Automatic Construction of Inference-Supporting Knowledge Bases Peter Clark, Niranjan Balasubramanian, Sumithra Bhakthavatsalam, Kevin Humphreys, Jesse Kinkead, Ashish Sabharwal, Oyvind Tafjord Allen Institute for AI, 215 Add to Reading List Source URL: www.akbc.ws Language: English - Date: 2015-04-02 16:06:46 Reasoning Branches of philosophy Formal systems Programming paradigms Inference Logical consequence Logic programming Axiom Epistemology Logic Philosophy Science
130	Applied Artiﬁcial Intelligence, 23:758–788 Copyright © 2009 Taylor & Francis Group, LLC ISSN: printonline DOI: VERIFICATION OF DISTRIBUTED FIREWALLS CONFIGURATION Add to Reading List Source URL: www.csc.kth.se Language: English - Date: 2012-08-01 20:05:41 Mathematical logic Science Data security Distributed firewall Tbox Firewall Abox Axiom Description logic Computer network security Logic Ontology

UPDATE