X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Book Chapter (21053) 21053
Journal Article (14315) 14315
Conference Proceeding (10446) 10446
Book / eBook (7364) 7364
Publication (2286) 2286
Paper (269) 269
Book Review (163) 163
Web Resource (149) 149
Reference (94) 94
Dissertation (83) 83
Magazine Article (69) 69
Newspaper Article (13) 13
Government Document (12) 12
Trade Publication Article (10) 10
Journal / eJournal (6) 6
Newsletter (4) 4
Report (2) 2
Poster (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (25723) 25723
mathematical logic and formal languages (23388) 23388
artificial intelligence (17762) 17762
logics and meanings of programs (10235) 10235
computation by abstract devices (8301) 8301
software engineering (7181) 7181
algorithm analysis and problem complexity (6607) 6607
mathematical models (6259) 6259
mathematics (5382) 5382
programming languages, compilers, interpreters (5336) 5336
database management (5231) 5231
programming techniques (4487) 4487
information storage and retrieval (4308) 4308
mathematical logic (4134) 4134
logic (3870) 3870
mathematical logic and foundations (3360) 3360
philosophy (3120) 3120
discrete mathematics in computer science (2863) 2863
algorithms (2518) 2518
mathematical analysis (2427) 2427
data mining and knowledge discovery (2383) 2383
electronic books (2372) 2372
information systems applications (2371) 2371
analysis (2350) 2350
computer science, artificial intelligence (2337) 2337
pattern recognition (2251) 2251
image processing and computer vision (2173) 2173
symbolic and algebraic manipulation (2168) 2168
studies (2099) 2099
logic, symbolic and mathematical (2039) 2039
congresses (1998) 1998
semantics (1937) 1937
theory of computation (1849) 1849
computer communication networks (1801) 1801
computer science, theory & methods (1667) 1667
logic design (1611) 1611
algebra (1545) 1545
kongress (1516) 1516
programming languages (1513) 1513
computers (1444) 1444
informatics (1442) 1442
language translation and linguistics (1442) 1442
document preparation and text processing (1263) 1263
computer logic (1223) 1223
computer simulation (1194) 1194
research (1188) 1188
models (1171) 1171
informatique (1117) 1117
software (1062) 1062
mathematics of computing (1055) 1055
data processing (1050) 1050
computer programming (1028) 1028
computer science, software engineering (1001) 1001
multi-user (976) 976
computational linguistics (955) 955
computer software (926) 926
ai (918) 918
electronic brains (918) 918
intelligence, artificial (917) 917
machine intelligence (917) 917
intelligent machines (909) 909
intellectronics (908) 908
artificial thinking (907) 907
thinking, artificial (907) 907
index medicus (898) 898
epistemology (881) 881
computer programs (864) 864
simulation and modeling (856) 856
physics (838) 838
language (835) 835
computer science, information systems (821) 821
engineering (792) 792
inteligencia artificial (791) 791
linguistics (787) 787
statistics (777) 777
economics (771) 771
methods (768) 768
mathematics, general (736) 736
software engineering/programming and operating systems (736) 736
mathematical statistics (714) 714
ontology (714) 714
symbolic and mathematical logic (711) 711
data structures (706) 706
reasoning (699) 699
philosophy of science (697) 697
management (688) 688
computation (677) 677
mathematics education (671) 671
computer science, interdisciplinary applications (665) 665
history & philosophy of science (665) 665
science (663) 663
design of logic systems (659) 659
design, logic (659) 659
statistical methods (644) 644
symbolic logic (639) 639
modelos matemáticos (637) 637
metaphysics (634) 634
education (629) 629
algebra of logic (624) 624
logic, universal (624) 624
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Gerstein Science - Stacks (1668) 1668
Robarts - Stacks (1128) 1128
UTL at Downsview - May be requested (929) 929
Mathematical Sciences - Stacks (799) 799
Engineering & Comp. Sci. - Stacks (587) 587
UofT at Mississauga - Stacks (511) 511
UofT at Scarborough - Stacks (321) 321
OISE - Stacks (228) 228
Online Resources - Online (218) 218
Collection Dvlpm't (Acquisitions) - Vendor file (194) 194
Collection Dvlpm't (Acquisitions) - Closed Orders (189) 189
Victoria University E.J. Pratt - Stacks (110) 110
Trinity College (John W Graham) - Stacks (91) 91
St. Michael's College (John M. Kelly) - 3rd Floor (87) 87
Physics - Stacks (81) 81
St. Michael's College (John M. Kelly) - 2nd Floor (78) 78
Thomas Fisher Rare Book - Rare Book (69) 69
Thomas Fisher Rare Book - May be requested at Fisher (58) 58
Earth Sciences (Noranda) - Stacks (49) 49
Mathematical Sciences - Missing (45) 45
Trinity College (John W Graham) - Storage (42) 42
Aerospace - Stacks (40) 40
Gerstein Science - Circulation Desk (25) 25
Astronomy & Astrophysics - Ask at library (22) 22
UofT at Mississauga - May be requested in 6-10 wks (22) 22
OISE - Curriculum Resources (17) 17
UofT at Scarborough - Withdrawn (17) 17
Pontifical Inst. Mediaeval Studies - Library use only (16) 16
Law (Bora Laskin) - Stacks (15) 15
Royal Ontario Museum - Stacks (15) 15
Indust. Rel's & Hum. Resources (Newman) - Library use only (14) 14
Institute for Christian Studies - Stacks (13) 13
Mathematical Sciences - Reference (13) 13
Faculty of Information - Stacks (12) 12
Gerstein Science - Missing (12) 12
Engineering & Comp. Sci. - Missing (10) 10
Chemistry (A D Allen) - Stacks (9) 9
OISE - Missing (9) 9
Criminology - Stacks (8) 8
UofT Schools - Stacks (8) 8
Architecture Landscape (Shore + Moffat) - Stacks (7) 7
New College (Ivey) - Stacks (7) 7
Physics - Storage (7) 7
Business (Joseph L Rotman) - Stacks (6) 6
Earth Sciences (Noranda) - Missing (6) 6
OISE - Lost (6) 6
Gerstein Science - Reference (5) 5
Knox College (Caven) - Stacks (5) 5
Collection Dvlpm't (Acquisitions) - Cancelled Order (4) 4
Dentistry (Harry R Abbott) - May be requested in 6-10 wks (4) 4
Providence Healthcare - Stacks (4) 4
Regis College - Stacks (4) 4
Robarts - May be requested in 6-10 wks (4) 4
Robarts - Storage (4) 4
Toronto East General Hospital - Stacks (4) 4
Engineering & Comp. Sci. - Not Returned (3) 3
Engineering & Comp. Sci. - Reference (3) 3
Gerstein Science - Not Returned (3) 3
Gerstein Science - Searching (3) 3
Map & Data - Data & GIS (3) 3
Map & Data - Data Reference (3) 3
Map & Data - Map Collection (3) 3
Physics - Circulation Desk (3) 3
Physics - Missing (3) 3
Robarts - Course Reserves (3) 3
St. Augustine's Seminary - Stacks (3) 3
University College (Laidlaw) - Stacks (3) 3
UofT at Mississauga - Missing (3) 3
UofT at Mississauga - Reference (3) 3
Victoria University E.J. Pratt - Northrop Frye (3) 3
Victoria University E.J. Pratt - Reference (3) 3
Collection Dvlpm't (Acquisitions) - Stacks (2) 2
Dentistry (Harry R Abbott) - Stacks (2) 2
Dentistry (Harry R Abbott) - Withdrawn (2) 2
Engineering & Comp. Sci. - May be requested in 6-10 wks (2) 2
Engineering & Comp. Sci. - Searching (2) 2
Faculty of Information - May be requested in 6-10 wks (2) 2
Holland Bloorview Kids Rehabilitation - Stacks (2) 2
Mathematical Sciences - Circulation Desk (2) 2
Music - Stacks (2) 2
Robarts - Map Collection (2) 2
Robarts - Not Returned (2) 2
St. Michael's Hospital - Stacks (2) 2
Thomas Fisher Rare Book - Stacks (2) 2
Trinity College (John W Graham) - Reference (2) 2
Trinity College (John W Graham) - Wycliffe Storage (2) 2
UofT at Scarborough - May be requested in 6-10 wks (2) 2
Victoria University E.J. Pratt - Storage (2) 2
Victoria University Emmanuel College - Stacks (2) 2
Astronomy & Astrophysics - Stacks (1) 1
Baycrest Hospital - Stacks (1) 1
Business (Joseph L Rotman) - Circulation Desk (1) 1
Credit Valley Hospital - Stacks (1) 1
Earth Sciences (Noranda) - Circulation Desk (1) 1
Earth Sciences (Noranda) - Reference (1) 1
East Asian (Cheng Yu Tung) - Reference (1) 1
Engineering & Comp. Sci. - Cancelled Order (1) 1
Engineering & Comp. Sci. - Material is damaged (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
Gerstein Science - Periodical Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (41443) 41443
German (466) 466
Spanish (372) 372
French (276) 276
Japanese (202) 202
Russian (61) 61
Chinese (41) 41
Czech (41) 41
Arabic (30) 30
Polish (20) 20
Italian (16) 16
Dutch (15) 15
Portuguese (14) 14
Turkish (8) 8
Hungarian (7) 7
Romanian (6) 6
Latin (5) 5
Swedish (3) 3
Danish (2) 2
Norwegian (2) 2
Slovak (2) 2
Afrikaans (1) 1
Bulgarian (1) 1
Croatian (1) 1
Finnish (1) 1
Ndonga (1) 1
Sanskrit (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2007, Synthese library, ISBN 1402062036, Volume 339, xxiii, 316
Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general... 
Ontology | Realism | Philosophy of Language | Metaphysics | Logic | Medieval Philosophy | Philosophy | Mathematical Logic and Formal Languages
Book
2001, 2nd ed., Handbook of Philosophical Logic, ISBN 1402006659, Volume 14, v.
Currently not available, will follow before Dec 30. 
Logic | Philosophy
Book
2006, ISBN 1402047576, xiii, 251
Integrating formal property verification (FPV) into an existing design process raises critical questions: Have I written enough properties? Have I written a... 
Integrated circuits | Mathematics | Verification | Engineering | Computer-Aided Engineering (CAD, CAE) and Design | Electronics and Microelectronics, Instrumentation | Circuits and Systems | Logic Design | Electronic and Computer Engineering | Mathematical Logic and Formal Languages
Book
2006, ISBN 9781402042225, xxiii, 197
Book
by Li, Wei
2010, Progress in Computer Science and Applied Logic (PCS), ISBN 3764399767, Volume 25, xii, 261
This book presents the basic principles and formal calculus of mathematical logic. It covers core contents, extensions and developments of classical... 
Logic, Symbolic and mathematical | Mathematical Logic and Foundations | Computer Science | Mathematical Logic and Formal Languages
Book
1989, Symbolic computation. Artificial intelligence., ISBN 3540969616, xiv, 234
Book
2002, Lecture notes in computer science, ISBN 9783540431909, Volume 2300., xxxvi, 429
eBook
2004, Lecture notes in computer science, ISBN 9783540240143, Volume 3340., xi, 429
This book constitutes the refereed proceedings of the 8th International Conference on Developments in Language Theory, DLT 2004, held in Auckland, New Zealand... 
Formal languages | Congresses
eBook
2005, Lecture notes in computer science, ISBN 9783540255598, Volume 3455., xiii, 545
These proceedings record the papers presented at the 4th International Conf- ence of B and Z Users (ZB 2005), held in the city of Guildford in the south-east... 
B (Computer program language) | Z (Computer program language) | Congresses | Software Engineering | Logics and Meanings of Programs | Computer Science | Mathematical Logic and Formal Languages
eBook
No results were found for your search.

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