X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (84111) 84111
Book Chapter (30345) 30345
Book / eBook (28598) 28598
Conference Proceeding (23626) 23626
Publication (8405) 8405
Dissertation (6937) 6937
Newspaper Article (4273) 4273
Book Review (3191) 3191
Magazine Article (2651) 2651
Reference (842) 842
Web Resource (677) 677
Trade Publication Article (626) 626
Government Document (324) 324
Newsletter (321) 321
Paper (164) 164
Report (118) 118
Data Set (25) 25
Journal / eJournal (23) 23
Standard (20) 20
Transcript (16) 16
Streaming Video (7) 7
Archival Material (5) 5
Video Recording (4) 4
Technical Report (3) 3
Electronic Resource (2) 2
Microfilm (2) 2
Exam (1) 1
Music Recording (1) 1
Research Guide (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (40496) 40496
language (26941) 26941
mathematical logic and formal languages (23533) 23533
artificial intelligence (21473) 21473
linguistics (15661) 15661
philosophy (15575) 15575
logics and meanings of programs (15536) 15536
logic (15128) 15128
software engineering (14239) 14239
programming languages, compilers, interpreters (13929) 13929
semantics (13081) 13081
programming languages (9213) 9213
english language (9204) 9204
analysis (9122) 9122
electronic books (9018) 9018
computation by abstract devices (8996) 8996
programming techniques (8642) 8642
literature (7793) 7793
philosophy of language (7613) 7613
english literature (7069) 7069
history (6952) 6952
algorithm analysis and problem complexity (6831) 6831
language and languages (6713) 6713
epistemology (6653) 6653
language & linguistics (6070) 6070
english (5944) 5944
metaphysics (5879) 5879
humans (5813) 5813
database management (5594) 5594
literary criticism (5104) 5104
1900-1999 (5010) 5010
computer communication networks (4911) 4911
computer science, theory & methods (4847) 4847
poetry (4839) 4839
information storage and retrieval (4803) 4803
syntax (4755) 4755
mathematics (4715) 4715
languages (4694) 4694
criticism and interpretation (4665) 4665
research (4627) 4627
rhetoric (4507) 4507
algorithms (4425) 4425
studies (4318) 4318
education (4291) 4291
politics (4158) 4158
psycholinguistics (4014) 4014
authors (3987) 3987
psychology (3816) 3816
prose (3766) 3766
communication (3749) 3749
computer science, artificial intelligence (3677) 3677
history and criticism (3670) 3670
philosophy of science (3660) 3660
study and teaching (3617) 3617
computer science, software engineering (3615) 3615
computers (3595) 3595
grammar (3567) 3567
software (3536) 3536
information systems applications (3510) 3510
children (3452) 3452
language arts (3408) 3408
mathematical logic (3358) 3358
index medicus (3280) 3280
history & philosophy of science (3181) 3181
computer programming (3143) 3143
logic design (3134) 3134
writing (3069) 3069
social aspects (3049) 3049
congresses (3007) 3007
american literature (2986) 2986
discrete mathematics in computer science (2916) 2916
pragmatics (2905) 2905
books (2879) 2879
usage (2860) 2860
natural language processing (2858) 2858
general (2761) 2761
computational linguistics (2720) 2720
language and literature studies (2699) 2699
multi-user (2696) 2696
novel (2676) 2676
data mining and knowledge discovery (2657) 2657
software engineering/programming and operating systems (2656) 2656
ethics (2607) 2607
reading (2603) 2603
informatics (2573) 2573
french language (2559) 2559
novels (2501) 2501
pattern recognition (2474) 2474
religion (2468) 2468
the english language (2468) 2468
psychology, experimental (2449) 2449
truth (2396) 2396
learning (2357) 2357
methods (2356) 2356
theory (2356) 2356
ontology (2352) 2352
programming (2321) 2321
twentieth century (2317) 2317
knowledge (2298) 2298
male (2280) 2280
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (12766) 12766
UTL at Downsview - May be requested (4926) 4926
OISE - Stacks (2378) 2378
Collection Dvlpm't (Acquisitions) - Vendor file (2290) 2290
UofT at Mississauga - Stacks (1968) 1968
Victoria University E.J. Pratt - Stacks (1902) 1902
UofT at Scarborough - Stacks (1824) 1824
St. Michael's College (John M. Kelly) - 2nd Floor (1664) 1664
Gerstein Science - Stacks (1623) 1623
Online Resources - Online (1102) 1102
Trinity College (John W Graham) - Stacks (1077) 1077
Collection Dvlpm't (Acquisitions) - Closed Orders (1023) 1023
Engineering & Comp. Sci. - Stacks (993) 993
Pontifical Inst. Mediaeval Studies - Library use only (485) 485
St. Michael's College (John M. Kelly) - 3rd Floor (350) 350
Trinity College (John W Graham) - Storage (285) 285
Victoria University E.J. Pratt - Reference (262) 262
Thomas Fisher Rare Book - Rare Book (238) 238
Knox College (Caven) - Stacks (231) 231
New College (Ivey) - Stacks (186) 186
University College (Laidlaw) - Stacks (170) 170
Robarts - Reference (167) 167
Trinity College (John W Graham) - Reference (165) 165
Mathematical Sciences - Stacks (143) 143
Faculty of Information - Stacks (141) 141
Regis College - Stacks (135) 135
OISE - Curriculum Resources (121) 121
East Asian (Cheng Yu Tung) - Reference (119) 119
St. Michael's College (John M. Kelly) - Reference (119) 119
Victoria University CRRS - Library use only (119) 119
Robarts - Storage (115) 115
Victoria University Emmanuel College - Stacks (114) 114
St. Augustine's Seminary - Stacks (111) 111
Thomas Fisher Rare Book - May be requested at Fisher (94) 94
Victoria University E.J. Pratt - Storage (93) 93
Law (Bora Laskin) - Stacks (86) 86
Royal Ontario Museum - Stacks (73) 73
East Asian (Cheng Yu Tung) - Stacks (72) 72
Institute for Christian Studies - Stacks (72) 72
UofT at Mississauga - Reference (69) 69
Robarts - Library use only (67) 67
Pontifical Inst. Mediaeval Studies - Reference (64) 64
UofT at Scarborough - Withdrawn (60) 60
UofT at Mississauga - May be requested in 6-10 wks (56) 56
OISE - Lost (51) 51
OISE - Reference (48) 48
UofT Schools - Stacks (46) 46
Gerstein Science - Reference (43) 43
Astronomy & Astrophysics - Ask at library (38) 38
Robarts - May be requested in 6-10 wks (38) 38
Innis College - Stacks (36) 36
OISE - Missing (36) 36
Engineering & Comp. Sci. - May be requested in 6-10 wks (34) 34
Holland Bloorview Kids Rehabilitation - Stacks (33) 33
Robarts - Searching (33) 33
Faculty of Information - May be requested in 6-10 wks (31) 31
Physics - Stacks (31) 31
Engineering & Comp. Sci. - Missing (30) 30
Music - Stacks (30) 30
OISE - May be requested in 6-10 wks (30) 30
Massey College (Robertson Davies) - Rare Book (29) 29
Robarts - Not Returned (26) 26
Aerospace - Stacks (25) 25
Media Commons - Microtexts (24) 24
OISE - Theses (23) 23
OISE - Modern Language (22) 22
Robarts - Course Reserves (22) 22
Royal Ontario Museum - Far Eastern (21) 21
University College (Laidlaw) - May be requested in 6-10 wks (21) 21
Victoria University E.J. Pratt - Northrop Frye (21) 21
Providence Healthcare - Stacks (20) 20
Royal Ontario Museum - Far Eastern Egyptian (20) 20
Trinity College (John W Graham) - Wycliffe Storage (20) 20
St. Augustine's Seminary - Reference (19) 19
OISE - Storage (18) 18
Victoria University Emmanuel College - Reference (18) 18
Art - Library use only (17) 17
Collection Dvlpm't (Acquisitions) - Cancelled Order (16) 16
Physics - Reference (16) 16
Architecture Landscape (Shore + Moffat) - Stacks (15) 15
Robarts - Petro Jacyk (15) 15
Earth Sciences (Noranda) - Reference (14) 14
Richard Charles Lee Canada-Hong Kong - Library use only (14) 14
Royal Ontario Museum - Far Eastern Reference (13) 13
Royal Ontario Museum - Reference (13) 13
Baycrest Hospital - Resident/Client Library (12) 12
Gerstein Science - Circulation Desk (12) 12
Earth Sciences (Noranda) - Stacks (11) 11
Robarts - Woodhouse Collection 13th floor (11) 11
UofT at Mississauga - Missing (11) 11
Knox College (Caven) - Storage (10) 10
Music - Reference (10) 10
Robarts - Internal dept (10) 10
Thomas Fisher Rare Book - Reference (10) 10
Knox College (Caven) - Reference (9) 9
OISE - Not Returned (9) 9
UofT at Scarborough - Reference (9) 9
Victoria University E.J. Pratt - Rare Book (9) 9
Victoria University Emmanuel College - Birge Storage (9) 9
Victoria University Emmanuel College - Storage (9) 9
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (161300) 161300
Spanish (3320) 3320
German (2262) 2262
French (2030) 2030
Japanese (1332) 1332
Italian (820) 820
Romanian (798) 798
Chinese (710) 710
Portuguese (642) 642
Russian (355) 355
Polish (272) 272
Latin (264) 264
Czech (238) 238
Arabic (200) 200
Catalan (177) 177
Korean (135) 135
Slovak (116) 116
Sanskrit (112) 112
Hebrew (108) 108
Dutch (100) 100
Croatian (89) 89
Turkish (69) 69
Lithuanian (61) 61
Bulgarian (56) 56
Hindi (54) 54
Danish (52) 52
Greek (51) 51
Ancient Greek (42) 42
Swedish (40) 40
Bosnian (35) 35
Serbian (33) 33
Estonian (29) 29
Ukrainian (28) 28
Slovenian (26) 26
Hungarian (22) 22
Norwegian (21) 21
Persian (19) 19
Finnish (18) 18
Welsh (18) 18
Irish (16) 16
Afrikaans (15) 15
Old English (15) 15
Bengali (14) 14
Middle (14) 14
Albanian (12) 12
Esperanto (12) 12
Indonesian (12) 12
Tibetan (12) 12
Ancient Egyptian (11) 11
Tamil (11) 11
Latvian (10) 10
Yiddish (10) 10
Gaelic (9) 9
Icelandic (9) 9
Armenian (8) 8
Basque (8) 8
Urdu (8) 8
Panjabi (7) 7
Austronesian (6) 6
Macedonian (6) 6
Swahili (6) 6
Aramaic (5) 5
Church Slavic (5) 5
Gujarati (5) 5
Malay (5) 5
Marathi (5) 5
Nepali (5) 5
Occitan (5) 5
Old Provençal (5) 5
Pali (5) 5
Slavic (5) 5
Vietnamese (5) 5
Belarusian (4) 4
Creoles (4) 4
Indic (4) 4
Ndonga (4) 4
Niger-Kordofanian (4) 4
Old French (4) 4
Romance (4) 4
Sino-Tibetan (4) 4
Tonga (4) 4
Akkadian (3) 3
American (3) 3
Amharic (3) 3
Burmese (3) 3
Church (3) 3
Cree (3) 3
Galician (3) 3
Georgian (3) 3
Germanic (3) 3
Indian (3) 3
Judeo-Arabic (3) 3
Konkani (3) 3
Malayalam (3) 3
Maltese (3) 3
Maori (3) 3
Quechua (3) 3
Sinhala (3) 3
Sumerian (3) 3
Zulu (3) 3
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1983, Boston studies in the philosophy of science, ISBN 9027707251, Volume 31, viii, 464
Book
2004, Lecture notes in computer science, ISBN 3540221522, Volume 3049., viii, 538
1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and... 
Logic programming | Computer logic | Computer science | Programming Techniques | Programming Languages, Compilers, Interpreters | Logic design | Artificial intelligence | Logics and Meanings of Programs | Software engineering | Mathematical Logic and Formal Languages
eBook
2001, Lecture notes in computer science, ISBN 3540429573, Volume 2250., xv, 738
This volume contains the papers presented at the Eighth International C- ference on Logic for Programming, Arti?cial Intelligence and Reasoning (LPAR 2001),... 
Artificial intelligence | Automatic theorem proving | Logic programming | Congresses | Computer science | Software Engineering/Programming and Operating Systems | Logic design | Logics and Meanings of Programs | Software engineering | Mathematical Logic and Formal Languages
eBook
2001, Lecture notes in computer science, ISBN 9783540421276, Volume 2042., viii, 181
This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London,... 
Logic programming | Congresses | Computer science | Programming Techniques | Software Engineering/Programming and Operating Systems | Logic design | Artificial intelligence | Logics and Meanings of Programs | Software engineering | 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.