X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (2398) 2398
Conference Proceeding (397) 397
Publication (308) 308
Book Chapter (249) 249
Book / eBook (68) 68
Dissertation (24) 24
Reference (16) 16
Magazine Article (12) 12
Book Review (9) 9
Paper (7) 7
Government Document (1) 1
Web Resource (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (595) 595
symbolic and algebraic manipulation (400) 400
artificial intelligence (359) 359
analysis (300) 300
algorithms (268) 268
humans (242) 242
mathematical logic and formal languages (234) 234
sociology (221) 221
computer science, artificial intelligence (219) 219
studies (217) 217
symbolic execution (217) 217
mathematical logic and foundations (214) 214
mathematics (179) 179
index medicus (168) 168
computer science, theory & methods (166) 166
symbolic interactionism (163) 163
symbolism (158) 158
research (154) 154
male (144) 144
symbolic computation (139) 139
philosophy (136) 136
female (133) 133
logic (130) 130
mathematics, applied (129) 129
communication (126) 126
language (117) 117
children (112) 112
computer science, software engineering (110) 110
politics (106) 106
mathematical models (103) 103
symbolic play (102) 102
psychology (101) 101
verification (101) 101
theory of computation (100) 100
mathematical analysis (92) 92
symbolic order (91) 91
symbols (89) 89
social aspects (88) 88
identity (87) 87
models (87) 87
software engineering (87) 87
symbolic dynamics (83) 83
usage (81) 81
software (80) 80
engineering (76) 76
mathematical logic (76) 76
methods (76) 76
semantics (76) 76
linguistics (74) 74
autism (73) 73
behavior (71) 71
history (70) 70
management (70) 70
culture (69) 69
software engineering/programming and operating systems (69) 69
foreign countries (68) 68
play (68) 68
education (67) 67
symbolic and mathematical logic (67) 67
[ info.info-sc ] computer science [cs]/symbolic computation [cs.sc] (66) 66
adult (66) 66
power (66) 66
child, preschool (65) 65
psychology, developmental (65) 65
systems (65) 65
computer science, interdisciplinary applications (64) 64
political science (63) 63
religion (63) 63
model checking (62) 62
symbolic regression (61) 61
child development (58) 58
symbolic model checking (58) 58
logics and meanings of programs (57) 57
symbolic power (57) 57
symbolic violence (56) 56
algebra (55) 55
computer hardware (54) 54
symbolic capital (54) 54
child (53) 53
computer science, general (53) 53
computer simulation (53) 53
dynamics (53) 53
gender (53) 53
attitudes (52) 52
social sciences (52) 52
automated reasoning (51) 51
theory (51) 51
complexity (50) 50
computation (50) 50
model (50) 50
symbolic interaction (50) 50
symbolic racism (50) 50
women (50) 50
young-children (50) 50
1900-1999 (49) 49
anthropology (49) 49
computer programs (49) 49
engineering, electrical & electronic (49) 49
learning (49) 49
memory (49) 49
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (20) 20
Collection Dvlpm't (Acquisitions) - Vendor file (9) 9
Mathematical Sciences - Stacks (8) 8
UofT at Scarborough - Stacks (8) 8
UofT at Mississauga - Stacks (6) 6
Victoria University E.J. Pratt - Stacks (6) 6
Collection Dvlpm't (Acquisitions) - Closed Orders (4) 4
St. Michael's College (John M. Kelly) - 2nd Floor (4) 4
Gerstein Science - Stacks (3) 3
Online Resources - Online (2) 2
University College (Laidlaw) - Stacks (2) 2
Architecture Landscape (Shore + Moffat) - Stacks (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Earth Sciences (Noranda) - Stacks (1) 1
Engineering & Comp. Sci. - Stacks (1) 1
Mathematical Sciences - Searching (1) 1
New College (Ivey) - Stacks (1) 1
OISE - Stacks (1) 1
St. Michael's College (John M. Kelly) - 3rd Floor (1) 1
Trinity College (John W Graham) - Stacks (1) 1
Victoria University E.J. Pratt - Oversize (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (2989) 2989
Korean (12) 12
Spanish (8) 8
Japanese (5) 5
German (4) 4
Arabic (3) 3
Chinese (3) 3
Portuguese (3) 3
Swedish (3) 3
Croatian (2) 2
Turkish (2) 2
French (1) 1
Serbian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2014, ISBN 1107629829, ix, 200
"Anthropology of the Brain In this unique exploration of the mysteries of the human brain, Roger Bartra shows that consciousness is a phenomenon that occurs... 
Physiological aspects | Consciousness | Symbolism | Cognitive neuroscience | SOCIAL SCIENCE / Anthropology / Cultural | Philosophical anthropology
Book
2018, ISBN 9781682680803, 315 pages
Like a wooden security blanket that Americans reach for when times get tough, the log cabin has endured as a uniquely American symbol of home and hearth. This... 
Log cabins | History | United States Symbolic representation
Book
2004, De Gruyter series in logic and its applications, ISBN 9783110183412, Volume 7, xi, 317
Book
2012, ISBN 1107651093, cm.
Symbolic thought is what makes us human. Claude Lévi-Strauss stated that we can never know the genesis of symbolic thought, but in this powerful new study Alan... 
Symbolic anthropology | Origin | Language and languages | Human evolution | Thought and thinking
Book
2012, ISBN 0415888557, xiv, 635
"The field of food studies has been growing rapidly over the last thirty years and has exploded since the turn of the century. Scholars from an array of... 
Food industry and trade | Nutrition policy | Social aspects | Food supply | Food habits | Food | Social & Cultural Anthropology | Sociology of Culture | SOCIAL SCIENCE / Sociology / General
Book
2017, First edition., ISBN 9780198798422, xii, 190 pages
G. R. F. Ferrari offers a new framework for understanding different ways in which we communicate with each other. He explores the idea of "intimations": social... 
Social interaction | Interpersonal communication | Storytelling | Nonverbal communication | Communication | Aesthetics and Philosophy of Art | Philosophy of Language
Book
Automatica, ISSN 0005-1098, 2008, Volume 44, Issue 10, pp. 2508 - 2516
Control systems are usually modeled by differential equations describing how physical phenomena can be influenced by certain control parameters or inputs.... 
Symbolic models | Digital control systems | Incremental stability | Nonlinear systems | Approximate bisimulation | LINEAR-SYSTEMS | BISIMULATION | SIMULATION | EQUIVALENCE | ENGINEERING, ELECTRICAL & ELECTRONIC | DYNAMICAL-SYSTEMS | DISCRETE | REACHABILITY | HYBRID SYSTEMS | AUTOMATION & CONTROL SYSTEMS | Mathematics | Optimization and Control
Journal Article
Religion, State & Society, ISSN 0963-7494, 04/2017, Volume 45, Issue 2, pp. 106 - 119
The power of the Catholic Church in Poland can be seen throughout modern Polish history. It can also be observed in the influence of the Catholic clergy on... 
Poland | symbolic violence | cognitive metaphor | Atheists | Catholics | Qualitative research | Political power | Roman Catholic | Social life | Atheism | Cultural capital | Weddings | Metaphor | Habitus | Catholic churches | Slavic cultural groups | Rituals | Death rituals | Love | Religious rituals | Liturgy | Catholicism | Wrongdoing | Clergy | Power | Quantitative analysis
Journal Article
Experimental Brain Research, ISSN 0014-4819, 8/2011, Volume 212, Issue 4, pp. 541 - 554
Journal Article
01/2018, 1st ed. 2017, ISBN 3319686682, 177
This book discusses automated string-analysis techniques, focusing particularly on automata-based static string analysis. It covers the following topics:... 
Computer software-Verification | Systems and Data Security | Programming Languages, Compilers, Interpreters | Software Engineering | Computer Science | Symbolic and Algebraic Manipulation | Logics and Meanings of Programs | Mathematical Logic and Formal Languages
eBook
システム/制御/情報, ISSN 0916-1600, 2012, Volume 56, Issue 9, pp. 486 - 491
Journal Article
2014, ISBN 9781447306863, x, 254
Book
1984, Annenberg/Longman communication books, ISBN 9780582284876, xi, 196
Book
2007, Cambridge introductions to philosophy, ISBN 9780521674539, xiv, 361
In 1931, the young Kurt Gödel published his First Incompleteness Theorem, which tells us that, for any sufficiently rich theory of arithmetic, there are some... 
Gödel numbers | Logic, Symbolic and mathematical | Gödel, Kurt | Mathematics
Book
Journal of Symbolic Computation, ISSN 0747-7171, 07/2012, Volume 47, Issue 7, pp. 883 - 901
We describe an algorithm (VQE) for a variant of the real quantifier elimination problem (QE). The variant problem requires the input to satisfy a certain extra... 
Quantifier elimination | Stability analysis | Computational real algebraic geometry | MATHEMATICS, APPLIED | DESIGN | CYLINDRICAL ALGEBRAIC DECOMPOSITION | POLAR VARIETIES | STABILITY | COMPLEXITY | ALGORITHM | COMPUTER SCIENCE, THEORY & METHODS | GEOMETRY | Analysis | Algorithms | Symbolic Computation | Computer Science
Journal Article
No results were found for your search.

Cannot display more than 1000 results, please narrow the terms of your search.