<--- Back to Details
First PageDocument Content
American Sign Language / Computability theory / Association for Symbolic Logic / John Myhill / Nels David Nelson / Anil Nerode / Saul Kripke / Mereology / Logic / Mathematical logic / Philosophy
Date: 2008-08-22 09:54:26
American Sign Language
Computability theory
Association for Symbolic Logic
John Myhill
Nels David Nelson
Anil Nerode
Saul Kripke
Mereology
Logic
Mathematical logic
Philosophy

Add to Reading List

Source URL: www.aslonline.org

Download Document from Source Website

File Size: 190,28 KB

Share Document on Facebook

Similar Documents

NOUS 27: Naive Mereology,AdmissibleValuations, and OtherMatters PETERVANINWAGEN

DocID: 1uZKQ - View Document

FUNCTIONAL DECOMPOSITION AND MEREOLOGY IN ENGINEERING Pieter Vermaas and Pawel Garbacz 1

DocID: 1uTmA - View Document

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.

DocID: 1tgPG - View Document

Logic / Abstraction / Philosophy / Automated theorem proving / Reasoning / Formal methods / Predicate logic / Datalog / First-order logic / Axiom / Satisfiability modulo theories / Mereology

Microsoft Word - BlankPage

DocID: 1rugC - View Document

Ontology / Semantic Web / Information science / Metaphysics / Knowledge representation / Computing / Web Ontology Language / Formal ontology / Mereology / Credit card / Credit

Microsoft Word - RegFormTutorials.docx

DocID: 1roAY - View Document