UofT Libraries is getting a new library services platform in January 2021.
Learn more about the change.

Search Articles

X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (11396) 11396
Book / eBook (2707) 2707
Conference Proceeding (2494) 2494
Book Chapter (1245) 1245
Dissertation (185) 185
Newspaper Article (172) 172
Magazine Article (164) 164
Book Review (146) 146
Reference (87) 87
Trade Publication Article (20) 20
Patent (17) 17
Web Resource (11) 11
Publication (7) 7
Paper (5) 5
Government Document (4) 4
Report (2) 2
Streaming Video (2) 2
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (7463) 7463
logic (6115) 6115
science & technology (4380) 4380
logics and meanings of programs (4076) 4076
technology (3239) 3239
philosophy (3159) 3159
software engineering (2956) 2956
artificial intelligence (2647) 2647
logic design (2312) 2312
arts & humanities (2186) 2186
mathematical logic and formal languages (2181) 2181
mathematics (2057) 2057
programming languages, compilers, interpreters (1979) 1979
computer logic (1942) 1942
mathematical logic (1853) 1853
analysis (1742) 1742
programming languages (1648) 1648
social sciences (1609) 1609
congresses (1595) 1595
semantics (1511) 1511
algorithms (1496) 1496
fuzzy logic (1436) 1436
studies (1409) 1409
epistemology (1321) 1321
programming techniques (1286) 1286
software engineering/programming and operating systems (1269) 1269
informatics (1240) 1240
design of logic systems (1213) 1213
design, logic (1213) 1213
mathematical logic and foundations (1155) 1155
computers (1124) 1124
theory of computation (1107) 1107
engineering (1088) 1088
computer programming (1067) 1067
logic programming (1013) 1013
science & technology - other topics (1004) 1004
computer software (984) 984
computer software engineering (969) 969
logic, symbolic and mathematical (943) 943
computer science, theory & methods (940) 940
kongress (932) 932
metaphysics (906) 906
computer communication networks (883) 883
history & philosophy of science (878) 878
software (874) 874
computer science, artificial intelligence (829) 829
philosophy of science (827) 827
mathematical models (812) 812
informatique (805) 805
exact sciences and technology (804) 804
philosophy of language (785) 785
physical sciences (769) 769
research (763) 763
computer science, software engineering (741) 741
algorithm analysis and problem complexity (735) 735
multi-user (717) 717
ontology (697) 697
applied sciences (679) 679
reasoning (676) 676
linguistics (661) 661
computation by abstract devices (653) 653
temporal logic (650) 650
algebra (635) 635
ethics (628) 628
computer science; control theory; systems (604) 604
methods (587) 587
life sciences & biomedicine (569) 569
humans (554) 554
computer science, information systems (549) 549
mathematical analysis (544) 544
electronic brains (541) 541
information theory (536) 536
language (526) 526
machine intelligence (497) 497
ai (495) 495
intelligence, artificial (494) 494
artificial thinking (488) 488
intellectronics (488) 488
intelligent machines (488) 488
theory (488) 488
thinking, artificial (488) 488
logic in computer science (474) 474
education (457) 457
management (453) 453
psychology (452) 452
programming (449) 449
verification (445) 445
computer simulation (442) 442
computer systems organization and communication networks (441) 441
symbolic and algebraic manipulation (436) 436
philosophical logics. philosophy of language (427) 427
computer networks (419) 419
science (415) 415
data processing (410) 410
truth (409) 409
usage (402) 402
electronic data processing (393) 393
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Engineering & Comp. Sci. - Stacks (158) 158
Gerstein Science - Stacks (117) 117
Robarts - Stacks (59) 59
UTL at Downsview - May be requested (54) 54
Mathematical Sciences - Stacks (37) 37
Collection Dvlpm't (Acquisitions) - Vendor file (36) 36
UofT at Mississauga - Stacks (28) 28
UofT at Scarborough - Stacks (15) 15
Online Resources - Online (14) 14
Collection Dvlpm't (Acquisitions) - Closed Orders (10) 10
OISE - Stacks (9) 9
Victoria University E.J. Pratt - Stacks (8) 8
Engineering & Comp. Sci. - May be requested in 6-10 wks (6) 6
St. Michael's College (John M. Kelly) - 2nd Floor (6) 6
Trinity College (John W Graham) - Stacks (6) 6
Thomas Fisher Rare Book - Rare Book (3) 3
OISE - Theses (2) 2
St. Michael's College (John M. Kelly) - 3rd Floor (2) 2
Gerstein Science - Circulation Desk (1) 1
Institute for Christian Studies - Stacks (1) 1
Law (Bora Laskin) - Stacks (1) 1
Media Commons - Microtexts (1) 1
OISE - Missing (1) 1
OISE - Reference (1) 1
Pontifical Inst. Mediaeval Studies - Library use only (1) 1
Robarts - Closed Orders (1) 1
Robarts - Course Reserves (1) 1
Robarts - Reference (1) 1
University College (Laidlaw) - Stacks (1) 1
UofT at Mississauga - May be requested in 6-10 wks (1) 1
Victoria University CRRS - Library use only (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (18589) 18589
German (154) 154
Japanese (104) 104
Spanish (79) 79
Portuguese (62) 62
French (27) 27
Chinese (11) 11
Czech (10) 10
Polish (9) 9
Korean (6) 6
Slovak (5) 5
Italian (3) 3
Lithuanian (3) 3
Norwegian (3) 3
Russian (3) 3
Turkish (3) 3
Croatian (2) 2
Swedish (2) 2
Afrikaans (1) 1
Arabic (1) 1
Danish (1) 1
Dutch (1) 1
Latvian (1) 1
Romanian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


2018, 1, Routledge studies in contemporary philosophy, ISBN 9781138102613, Volume 103, 368
eBook