Axiom - PDFSEARCH.IO - Document Search Engine

Axiom
Results: 922

#	Item
411	The Resolution of Mind (TROM) - Part 0 Add to Reading List Source URL: umattr.info Language: English - Date: 2010-12-01 01:00:00 Logic Elementary geometry Special relativity Axiom Thermodynamic state Mathematics
412	Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-03-14 10:59:30 Logic programming Science Consumer theory Social psychology Preference Contraction Axiom Belief revision Knowledge representation Logic
413	14 Notre Dame Journal of Formal Logic Volume 31, Number 1, Winter 1990 Linear Logic Displayed NUEL BELNAP Add to Reading List Source URL: www.pitt.edu Language: English - Date: 2011-02-14 12:57:38 Proof theory Substructural logic Logic in computer science Philosophical logic Linear logic Intuitionistic logic Axiom Sequent calculus Negation Logic Mathematical logic Non-classical logic
414	Postulates and a linear-time algorithm for minimal preference contraction EXTENDED ABSTRACT Natasha Alechina1 , Fenrong Liu2 , and Brian Logan1 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2014-09-26 15:05:55 Logic programming Science Consumer theory Social psychology Preference Contraction Axiom Belief revision Knowledge representation Logic
415	c Lucius & Lucius, Stuttgart) p. 382–397 Analyse & Kritik[removed]Till Gr¨ une Add to Reading List Source URL: www.analyse-und-kritik.net Language: English Economic theories Preference Decision theory Revealed preference Utility Mathematics Intransitivity Consumer choice Axiom Consumer theory Microeconomics Economics
416	CEILING&WALL SYSTEMS Between us, ideas become reality ® Armstrong Canopy Add to Reading List Source URL: www.armstrong.com Language: English - Date: 2013-11-20 19:31:00 Software Axiom Ultima
417	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System Hai Nguyen, Natasha Alechina, and Brian Logan University of Nottingham 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 11:59:12 Semantic Web Ontology Knowledge engineering Information science Reason maintenance Semantic reasoner Reasoner Description logic Axiom Knowledge representation Science Information
418	High Efficiency Horizontal & Vertical Water Source Comfort System Axiom™ [removed]Tons — 60 Hz Model GEH/GEV Add to Reading List Source URL: www.trane.com Language: English - Date: 2010-02-17 00:02:23 Mechanical engineering Energy recovery Heat pumps Building engineering Thermodynamics Economizer HVAC Scroll compressor Thermostat Energy Technology Heating ventilating and air conditioning
419	Axiom Pinpointing Using an Assumption-Based Truth Maintenance System Hai Nguyen, Natasha Alechina, and Brian Logan University of Nottingham 1 Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-05-04 12:17:01 Semantic Web Ontology Knowledge engineering Information science Reason maintenance Semantic reasoner Reasoner Description logic Axiom Knowledge representation Science Information
420	Open Research Online The Open University’s repository of research publications and other research outputs Corpus-assisted literary evaluation Journal Article Add to Reading List Source URL: oro.open.ac.uk Language: English - Date: 2015-02-07 16:43:44 Psychological theories Science Schema Educational psychology Database schema Reading Axiom schema Stylistics Applied linguistics Linguistics Kantianism

UPDATE