<--- Back to Details
First PageDocument Content
Academia / Social anthropologists / Psychoanalytic theory / Sociology of religion / Claude Lévi-Strauss / The Savage Mind / Culture / Totemism / The Symbolic / Anthropology / Science / Structuralism
Date: 2009-07-07 12:12:11
Academia
Social anthropologists
Psychoanalytic theory
Sociology of religion
Claude Lévi-Strauss
The Savage Mind
Culture
Totemism
The Symbolic
Anthropology
Science
Structuralism

Add to Reading List

Source URL: www.aaanet.org

Download Document from Source Website

File Size: 88,31 KB

Share Document on Facebook

Similar Documents

Computer programming / Computing / Mathematics / Theoretical computer science / Boolean algebra / Error detection and correction / Compiler construction / Hash function / Avalanche effect / Optimizing compiler / Recursion / MD5

Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email:

DocID: 1xVGY - 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

Theoretical computer science / Logic / Logic in computer science / Mathematics / Electronic design automation / Formal methods / NP-complete problems / Boolean algebra / Boolean satisfiability problem / Uninterpreted function / Satisfiability / Solver

SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo

DocID: 1xUDS - View Document

Type theory / Software engineering / Programming language theory / Computing / Scheme / System F / Type system / HindleyMilner type system / Racket / Boolean data type / Macro / Typing environment

Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) The Design and Implementation of Typed Scheme: From Scripts to Programs? Sam Tobin-Hochstadt · Matthias Felleisen

DocID: 1xTIa - View Document

Three Paradoxical Aspects of Identity. by Heinrich Behmann; Max Käsbauer; Franz von Kutschera; Verlag Karl Alber Review by: John Perry The Journal of Symbolic Logic, Vol. 39, No. 2 (Jun., 1974), ppPublished by

DocID: 1vrtj - View Document