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 (7267) 7267
Conference Proceeding (1056) 1056
Book / eBook (559) 559
Book Chapter (391) 391
Web Resource (262) 262
Government Document (180) 180
Magazine Article (179) 179
Dissertation (164) 164
Newspaper Article (108) 108
Report (37) 37
Publication (17) 17
Photograph (5) 5
Paper (4) 4
Archival Material (2) 2
Book Review (1) 1
Data Set (1) 1
Journal / eJournal (1) 1
Newsletter (1) 1
Reference (1) 1
Streaming Video (1) 1
Trade Publication Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
proving (5142) 5142
science & technology (4411) 4411
mathematics (2612) 2612
computer science (2501) 2501
physical sciences (2451) 2451
technology (2352) 2352
theorem proving (2239) 2239
mathematical analysis (2167) 2167
theorems (1175) 1175
mathematics, applied (1160) 1160
mathematical models (1085) 1085
exact sciences and technology (926) 926
artificial intelligence (897) 897
automatic theorem proving (842) 842
algorithms (815) 815
engineering (744) 744
studies (706) 706
analysis (693) 693
logic (634) 634
automated theorem proving (612) 612
applied sciences (611) 611
computer science, theory & methods (598) 598
algebra (566) 566
physics (531) 531
computation (489) 489
engineering, electrical & electronic (464) 464
construction (443) 443
computer science, artificial intelligence (441) 441
computer science, information systems (436) 436
computer science; control theory; systems (426) 426
computer science, software engineering (373) 373
optimization (372) 372
graphs (352) 352
software (350) 350
mathematical logic and formal languages (343) 343
software engineering (340) 340
sciences and techniques of general use (339) 339
congresses (336) 336
mathematical logic and foundations (332) 332
mathematics, general (316) 316
computer simulation (310) 310
mathematical logic (308) 308
research (296) 296
nonlinearity (292) 292
logic, symbolic and mathematical (289) 289
proving grounds (260) 260
theoretical computer science (259) 259
symbolic and algebraic manipulation (258) 258
theory of computation (255) 255
science & technology - other topics (250) 250
semantics (247) 247
combinatorial analysis (244) 244
polynomials (239) 239
interactive theorem proving (235) 235
combinatorics (231) 231
theoretical computing (229) 229
security (227) 227
inequalities (226) 226
geometry (225) 225
programming languages (223) 223
computer information security (217) 217
logic programming (215) 215
verification (212) 212
cryptography (206) 206
applied mathematics (205) 205
usage (202) 202
convergence (201) 201
automation (199) 199
complexity (197) 197
automated reasoning (195) 195
formal verification (191) 191
operators (188) 188
computer science, hardware & architecture (187) 187
information theory (186) 186
approximation (183) 183
asymptotic properties (180) 180
equivalence (179) 179
computer programs (178) 178
automatisches beweisverfahren (177) 177
data processing (177) 177
general (177) 177
program verification (176) 176
proof theory (174) 174
calculus (169) 169
physics, mathematical (168) 168
computer programming (167) 167
differential equations (165) 165
stability (165) 165
logics and meanings of programs (162) 162
reasoning (162) 162
software engineering/programming and operating systems (160) 160
logic in computer science (155) 155
graph theory (154) 154
démonstration automatique (153) 153
dynamical systems (151) 151
formal methods (151) 151
physics, multidisciplinary (150) 150
théorèmes (147) 147
methods (146) 146
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Online Resources - Online (267) 267
Gerstein Science - Stacks (150) 150
Engineering & Comp. Sci. - Stacks (59) 59
UTL at Downsview - May be requested (53) 53
Mathematical Sciences - Stacks (22) 22
Collection Dvlpm't (Acquisitions) - Closed Orders (15) 15
Robarts - Stacks (11) 11
Collection Dvlpm't (Acquisitions) - Vendor file (6) 6
Engineering & Comp. Sci. - May be requested in 6-10 wks (5) 5
Trinity College (John W Graham) - Stacks (5) 5
UofT at Mississauga - Stacks (5) 5
UofT at Scarborough - Stacks (5) 5
Thomas Fisher Rare Book - Rare Book (4) 4
Aerospace - Stacks (3) 3
Gerstein Science - Theses (3) 3
Media Commons - Microtexts (3) 3
University Archives - Archives (3) 3
Law (Bora Laskin) - Stacks (2) 2
Mathematical Sciences - Missing (2) 2
Physics - Stacks (2) 2
UofT at Mississauga - May be requested in 6-10 wks (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Business (Joseph L Rotman) - Stacks (1) 1
Chemistry (A D Allen) - Stacks (1) 1
Engineering & Comp. Sci. - Periodical Stacks (1) 1
OISE - Stacks (1) 1
St. Michael's College (John M. Kelly) - Not Returned (1) 1
Thomas Fisher Rare Book - May be requested at Fisher (1) 1
Trinity College (John W Graham) - Storage (1) 1
UofT Schools - Stacks (1) 1
Victoria University E.J. Pratt - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (9646) 9646
Chinese (439) 439
Japanese (126) 126
German (58) 58
Spanish (26) 26
French (24) 24
Portuguese (18) 18
Czech (14) 14
Russian (10) 10
Korean (8) 8
Indonesian (6) 6
Croatian (5) 5
Turkish (4) 4
Dutch (2) 2
Norwegian (2) 2
Persian (2) 2
Slovak (2) 2
Swedish (2) 2
Arabic (1) 1
Danish (1) 1
Latvian (1) 1
Polish (1) 1
Slovenian (1) 1
Ukrainian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Journal of automated reasoning, ISSN 0168-7433, 1985
Journal
Journal of statistical physics, ISSN 0022-4715, 03/2020, Volume 178, Issue 6, pp. 1515 - 1515
Journal Article
2007, Foundations and trends in theoretical computer science, ISBN 9781601981523, Volume 3, issue 1, 2007., Issue 1, xv, 90
Book
Mathematische Nachrichten, ISSN 0025-584X, 09/2020, Volume 293, Issue 9, pp. 1836 - 1838
Journal Article
Journal Article
Parallel processing letters, ISSN 0129-6264, 12/2020, Volume 30, Issue 4
Journal Article
Quantum information processing, ISSN 1570-0755, 04/2020, Volume 19, Issue 4
Journal Article
Journal of Engineering Management and Competitiveness (Online), ISSN 2334-9638, 2020, Volume 10, Issue 1, pp. 38 - 47
Journal Article
The Journal of mathematical behavior, ISSN 0732-3123, 03/2019, Volume 53, pp. 284 - 303
Journal Article
P-adic numbers, ultrametric analysis, and applications, ISSN 2070-0466, 10/2020, Volume 12, Issue 4, pp. 333 - 336
Journal Article
Journal of computational methods in sciences and engineering, ISSN 1472-7978, 01/2020, Volume 20, Issue 1, p. 217
Journal Article
The Journal of mathematical behavior, ISSN 0732-3123, 03/2017, Volume 45, pp. 150 - 166
Journal Article
Physical review letters, ISSN 0031-9007, 11/2014, Volume 113, Issue 20, pp. 200401 - 200401
Journal Article
The Journal of mathematical behavior, ISSN 0732-3123, 09/2020, Volume 59, p. 100794
Journal Article
1989, MIT Press series in artificial intelligence., ISBN 0262132354, xiv, 158 p. --
Book
Journal of mathematical sciences (New York, N.Y.), ISSN 1072-3374, 04/2017, Volume 222, Issue 4, pp. 367 - 369
Journal Article
No results were found for your search.

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