<--- Back to Details
First PageDocument Content
Mental processes / Conceptions of self / Cognitive neuroscience / Consciousness / Phenomenology / Soul / Philosophy of self / Maya / Dream / Mind / Cognitive science / Philosophy of mind
Date: 2013-07-06 09:48:03
Mental processes
Conceptions of self
Cognitive neuroscience
Consciousness
Phenomenology
Soul
Philosophy of self
Maya
Dream
Mind
Cognitive science
Philosophy of mind

Add to Reading List

Source URL: www.thewordfoundation.org

Download Document from Source Website

File Size: 221,19 KB

Share Document on Facebook

Similar Documents

Cryptography / Pyruvate dehydrogenase lipoamide kinase isozyme 1 / Key management / Digital signature / Key

Formal Analysis of Key Management APIs Graham Steel INRIA & LSV, ENS de Cachan 1/48

DocID: 1xVmr - View Document

Theoretical computer science / Markov models / Formal methods / Graph theory / Markov chain / Process calculus / Semantics / Stochastic process / Mathematics

Process algebra and Markov processes The nature of synchronisation Equivalence relations Case study: active badges Summary From Markov to Milner and back: Stochastic process algebras Jane Hillston School of Informatics

DocID: 1xVg5 - View Document

Logic / Mathematical logic / Mathematics / Model theory / Propositional calculus / Logic in computer science / Logical truth / Linear temporal logic / First-order logic / Well-formed formula / Interpretation / Intuitionistic logic

Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be

DocID: 1xV0v - View Document

Computer programming / Software engineering / Computing / Lisp / Functional programming / Data types / Abstract data types / Functional languages / Append / ACL2 / Cons / Nqthm

Machines Reasoning about Machines A Personal Perspective J Strother Moore Department of Computer Sciences

DocID: 1xUSy - View Document

Concurrency control / Linearizability / Transaction processing / Model theory

Introduction R/G Examples Brief history

DocID: 1xUsl - View Document