<--- Back to Details
First PageDocument Content
Psychology / Cognitive science / Frank Ankersmit / Maurice Halbwachs / Collective memory / Dissociation / Traumatic memories / Amnesia / Dream / Mind / Memory / Mental processes
Date: 2010-07-18 18:51:47
Psychology
Cognitive science
Frank Ankersmit
Maurice Halbwachs
Collective memory
Dissociation
Traumatic memories
Amnesia
Dream
Mind
Memory
Mental processes

KRISIS - The exile condition

Add to Reading List

Source URL: openreflections.files.wordpress.com

Download Document from Source Website

File Size: 164,38 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