X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (7684) 7684
Conference Proceeding (1153) 1153
Publication (877) 877
Book / eBook (551) 551
Web Resource (262) 262
Book Chapter (239) 239
Government Document (206) 206
Magazine Article (169) 169
Dissertation (124) 124
Report (37) 37
Newspaper Article (24) 24
Paper (20) 20
Data Set (11) 11
Photograph (5) 5
Book Review (3) 3
Archival Material (2) 2
Journal / eJournal (2) 2
Newsletter (2) 2
Streaming Video (2) 2
Reference (1) 1
Technical Report (1) 1
Trade Publication Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
proving (5240) 5240
mathematical analysis (2104) 2104
theorem proving (1970) 1970
mathematics (1697) 1697
computer science (1326) 1326
theorems (1146) 1146
mathematics, applied (1099) 1099
mathematical models (1018) 1018
automatic theorem proving (829) 829
artificial intelligence (816) 816
algorithms (798) 798
computer science, theory & methods (783) 783
analysis (664) 664
logic (662) 662
automated theorem proving (565) 565
computation (521) 521
computer science, artificial intelligence (521) 521
algebra (499) 499
construction (468) 468
engineering, electrical & electronic (465) 465
studies (459) 459
computer science, information systems (446) 446
computer science, software engineering (402) 402
mathematical logic and formal languages (369) 369
graphs (368) 368
optimization (365) 365
congresses (341) 341
mathematical logic and foundations (333) 333
mathematical logic (331) 331
software engineering (314) 314
verification (306) 306
computer simulation (302) 302
mathematics, general (300) 300
nonlinearity (294) 294
research (266) 266
symbolic and algebraic manipulation (265) 265
logic, symbolic and mathematical (262) 262
semantics (257) 257
inequalities (250) 250
security (247) 247
combinatorial analysis (244) 244
theory of computation (242) 242
complexity (239) 239
theoretical computer science (235) 235
convergence (230) 230
computer information security (225) 225
interactive theorem proving (223) 223
logic programming (222) 222
software (221) 221
polynomials (218) 218
electronic books (210) 210
geometry (204) 204
operators (204) 204
stability (196) 196
approximation (194) 194
automated reasoning (194) 194
usage (194) 194
equivalence (192) 192
calculus (187) 187
computer programs (187) 187
logics and meanings of programs (187) 187
programming languages (186) 186
proving grounds (185) 185
automatisches beweisverfahren (183) 183
cryptography (182) 182
formal verification (182) 182
standards (182) 182
computer science, hardware & architecture (181) 181
data processing (181) 181
program verification (181) 181
systems (181) 181
asymptotic properties (180) 180
information theory (177) 177
applied mathematics (176) 176
automation (168) 168
kongress (164) 164
démonstration automatique (161) 161
software engineering/programming and operating systems (159) 159
reasoning (158) 158
théorèmes (155) 155
model checking (152) 152
networks (152) 152
physics, mathematical (151) 151
dynamical systems (149) 149
dynamics (149) 149
physics, multidisciplinary (149) 149
computer programming (147) 147
estimates (146) 146
representations (145) 145
computer logic (144) 144
formal methods (143) 143
transformations (141) 141
logic design (139) 139
differential equations (138) 138
design engineering (137) 137
applications of mathematics (136) 136
combinatorics (136) 136
inteligencia artificial (135) 135
invariants (135) 135
computational mathematics and numerical analysis (134) 134
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 (149) 149
Engineering & Comp. Sci. - Stacks (60) 60
UTL at Downsview - May be requested (52) 52
Mathematical Sciences - Stacks (22) 22
Collection Dvlpm't (Acquisitions) - Closed Orders (18) 18
Robarts - Stacks (10) 10
Collection Dvlpm't (Acquisitions) - Vendor file (8) 8
UofT at Mississauga - Stacks (6) 6
UofT at Scarborough - Stacks (6) 6
Engineering & Comp. Sci. - May be requested in 6-10 wks (5) 5
Thomas Fisher Rare Book - Rare Book (4) 4
Trinity College (John W Graham) - Stacks (4) 4
Aerospace - Stacks (3) 3
Gerstein Science - Theses (3) 3
Media Commons - Microtexts (3) 3
University Archives - Archives (3) 3
Engineering & Comp. Sci. - Periodical Stacks (2) 2
Mathematical Sciences - Missing (2) 2
Physics - Stacks (2) 2
UofT at Mississauga - May be requested in 6-10 wks (2) 2
Business (Joseph L Rotman) - Stacks (1) 1
Law (Bora Laskin) - 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 (9271) 9271
Chinese (503) 503
Japanese (81) 81
Spanish (36) 36
German (23) 23
French (13) 13
Korean (13) 13
Portuguese (7) 7
Russian (5) 5
Croatian (4) 4
Indonesian (4) 4
Turkish (4) 4
Latin (3) 3
Polish (3) 3
Dutch (2) 2
Arabic (1) 1
Czech (1) 1
Latvian (1) 1
Lithuanian (1) 1
Slovenian (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
Chemical Communications, ISSN 1359-7345, 01/2011, Volume 47, Issue 42, pp. 11751 - 11753
The highly porous and robust [Ni8(OH)4(OH2)2(4,4[prime or minute]-(buta-1,3-diyne-1,4-diyl)bispyrazolato)6]n MOF can be used as a proof of concept for the... 
Proving
Journal Article
1989, MIT Press series in artificial intelligence., ISBN 0262132354, xiv, 158 p. --
Book
Acta Mathematica Sinica, ISSN 1439-8516, 03/2011, Volume 27, Issue 3, pp. 617 - 624
We give a direct proof of a result of Earle, Gardiner and Lakic, that is, Kobayashias metric and TeichmA14lleras metric coincide with each other on the... 
Proving
Journal Article
1992, Distinguished dissertations in computer science, ISBN 9780521432191, xi, 104
Dr Andrews here provides a homogeneous treatment of the semantics (operational and logical) of both theoretical and practical logic programming languages. He... 
Programming languages (Electronic computers) | Semantics | Logic programming
Book
1994, Lecture notes in computer science, ISBN 3540582444, Volume 828., xvii, 321
As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include Isabelle's representation of logics within a meta-logic and... 
Automatic theorem proving | Computer science | Logic, Symbolic and mathematical | Logic design | Artificial intelligence | Logics and Meanings of Programs | Mathematical Logic and Foundations | Software engineering | Mathematical Logic and Formal Languages
Book
1990, Texts and monographs in computer science., ISBN 3540972331, xiii, 242
Book
2005, ISBN 087480812X, xi, 162
Book
2002, Lecture notes in computer science, ISBN 3540433767, Volume 2283., xiii, 218
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing... 
Automatic theorem proving | Computer logic | Computer science | Programming Languages, Compilers, Interpreters | Logic design | Theory of Computation | Logic | Artificial intelligence | Logics and Meanings of Programs | Information theory | Mathematical Logic and Formal Languages
eBook
Fundamental studies in computer science, Volume 6, xii, 405
Book
1991, Wiley professional computing., ISBN 0471927848, xviii, 243
Book
2001, 1, Handbook of Automated Reasoning, ISBN 9780262182225, 2128
eBook
1994, Volume STAN-CS-TR-94-1518., ii, 44
Book
2000, Lecture notes in computer science, ISBN 9783540671909, Volume 1761., viii, 297
This volume presents a collection of thoroughly reviewed revised full papers on automated deduction in classical, modal, and many-valued logics, with an... 
Logic, Symbolic and mathematical | Automatic theorem proving | Computer science | Logic design | Artificial intelligence | Logics and Meanings of Programs | Mathematical Logic and Formal Languages
Book
1998, Lecture notes in computer science, ISBN 3540645152, Volume 1409., xi, 159
Reasoning with incomplete information constitutes a major challenge for any intelligent system. In fact, we expect such systems not to become paralyzed by... 
Automatic theorem proving | Computer science | Artificial intelligence | Mathematical Logic and Formal Languages
Book
No results were found for your search.

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