Mereology - PDFSEARCH.IO - Document Search Engine

Mereology
Results: 487

#	Item
1	NOUS 27: Naive Mereology,AdmissibleValuations, and OtherMatters PETERVANINWAGEN Add to Reading List Source URL: andrewmbailey.com Language: English - Date: 2011-02-24 11:11:15
2	FUNCTIONAL DECOMPOSITION AND MEREOLOGY IN ENGINEERING Pieter Vermaas and Pawel Garbacz 1 Add to Reading List Source URL: www.pietervermaas.nl Language: English - Date: 2013-09-26 10:07:49
3	To Every Manifest Domain a CSP Expression A Rˆole for Mereology in Computer Science Dines Bjørner: December 9, 2016, 15:37 Fredsvej 11, DK-2840 Holte, Denmark. DTU Compute, Technical University of Denmark, DK-2800 Kgs. Add to Reading List Source URL: www2.compute.dtu.dk - Date: 2016-12-09 10:06:07
4	Microsoft Word - BlankPage Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2007-08-16 08:58:53 Logic Abstraction Philosophy Automated theorem proving Reasoning Formal methods Predicate logic Datalog First-order logic Axiom Satisfiability modulo theories Mereology
5	Microsoft Word - RegFormTutorials.docx Add to Reading List Source URL: icbo.buffalo.edu Language: English - Date: 2010-05-04 17:27:08 Ontology Semantic Web Information science Metaphysics Knowledge representation Computing Web Ontology Language Formal ontology Mereology Credit card Credit
6	Contents Part One xvii xix Conference Committee Add to Reading List Source URL: www.icdip.org Language: English - Date: 2016-06-21 06:36:16 Mathematical logic Mereology Ontology Predicate logic Wayne B. Nottingham Prize John K. Fairbank Prize
7	Tutorial on Specialisation of Logic Programs J.P. Gallagher Department of Computer Science University of Bristol University Walk Bristol BS8 1TR, U.K. Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:05:29 Software engineering Logic Mathematical logic Logic programming Logic in computer science Automated theorem proving Predicate logic Prolog Horn clause Resolution Partial evaluation Mereology
8	Efficient Device-Independent Quantum Key Distribution⋆ Esther H¨ anggi1 , Renato Renner2 , and Stefan Wolf1 1 2 Add to Reading List Source URL: cqi.inf.usi.ch Language: English - Date: 2013-02-20 10:42:48 Quantum information science Physics Quantum mechanics Theoretical computer science Mathematics Mereology Quantum entanglement Quantum key distribution Limit of a function Information theory Uncertainty principle
9	GeoInformatica 6:2, 99±121, 2002 # 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Vagueness and Rough Location THOMAS BITTNER Department of Computer Science, Northwestern University, USA Add to Reading List Source URL: www.thomasebittner.com Language: English - Date: 2012-04-30 16:06:48 Philosophy Logic Metaphysics Ontology Philosophy of language Semantics Cartography Geography Spatial analysis Mereology Indeterminacy Vagueness
10	Formal Semantics and Ontologies Towards an Ontological Account of Formal Semantics Frank Loebe1,2 and Heinrich Herre2 1 Add to Reading List Source URL: fois08.dfki.de Language: English - Date: 2008-11-07 11:37:57 Ontology Semantic Web Information science Academia Logic Technical communication Computing Semantics Formal ontology Web Ontology Language Mereology

UPDATE