Articles

Search Articles

Advanced search
Help

Catalogue

Articles

Databases

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


1. Journal of automated reasoning
Journal of automated reasoning, ISSN 0168-7433, 1985
Periodicals | Artificial intelligence | Automatic theorem proving
Journal
Details down arrow
2. Study of the incorporation and release of the non-conventional half-sandwich ruthenium(ii) metallodrug RAPTA-C on a robust MOF
by Quartapelle Procopio, Elsa and Rojas, Sara and Padial, Natalia M and Galli, Simona and Masciocchi, Norberto and Linares, Fatima and Miguel, Delia and Oltra, JEnrique and Navarro, Jorge AR and Barea, Elisa
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
Details down arrow
3. Ontic
: a knowledge representation system for mathematics
by McAllester, David A
1989, MIT Press series in artificial intelligence., ISBN 0262132354, xiv, 158 p. --
Ontic (Computer system) | Automatic theorem proving
Book
Details down arrow
4. Symbolic logic and mechanical theorem proving
by Chang, Chin-Liang and Lee, Richard Char-Tung
1987, ISBN 9780121703509, xiii, 331
Logic, Symbolic and mathematical | Artificial intelligence | Automatic theorem proving
Book
Details down arrow
5. Implementing mathematics with the Nuprl proof development system
by Constable, R. L and Cornell University. Dept. of Computer Science
1986, ISBN 9780134518329, x, 299
Data processing | Mathematics | Nuprl (Computer system) | Automatic theorem proving
Book
Details down arrow
6. Kobayashias and TeichmA14lleras metrics on the TeichmA14ller space of symmetric circle homeomorphisms
by Jun, Hu and Jiang, Yun Ping and Wang, Zhe
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
Details down arrow
7. Logic programming
: operational semantics and proof theory
by Andrews, James H
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
Details down arrow
8. Using sophisticated models in resolution theorem proving
by Sandford, David M and SpringerLink (Online service)
1980, Lecture notes in computer science, ISBN 0387102310, Volume 90, xi, 239
Automatic theorem proving | Computer science | Mathematical Logic and Formal Languages
Book
Details down arrow
9. The efficiency of theorem proving strategies
: a comparative and asymptotic analysis
by Plaisted, David A and Zhu, Yunshan
1999, 2nd ed. rev., ISBN 9783528155742, viii, 170
Automatic theorem proving
Book
Details down arrow
10. Isabelle
: a generic theorem prover
by Paulson, Lawrence C and Nipkow, Tobias and SpringerLink (Online service)
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
Details down arrow
11. First-order logic and automated theorem proving
by Fitting, Melvin, 1942
1990, Texts and monographs in computer science., ISBN 3540972331, xiii, 242
Logic, Symbolic and mathematical | Automatic theorem proving
Book
Details down arrow
12. Buzz-cut dune and fremont foraging at the margin of horticulture
by Madsen, David B
2005, ISBN 087480812X, xi, 162
Book
Details down arrow
13. Full Text Isabelle/HOL
: a proof assistant for higher-order logic
by Nipkow, Tobias and Paulson, Lawrence C and Wenzel, Markus and SpringerLink (Online service)
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
Details down arrow
Digital rights down arrow
loading Loading Rights
14. Automated theorem proving : a logical basis
by Loveland, Donald W
Fundamental studies in computer science, Volume 6, xii, 405
Automatic theorem proving
Book
Details down arrow
15. Principles of automated theorem proving
by Duffy, David A
1991, Wiley professional computing., ISBN 0471927848, xviii, 243
Automatic theorem proving
Book
Details down arrow
16. Computational logic
: essays in honor of Alan Robinson
by Lassez, Jean-Louis and Plotkin, G. 1946- (Gordon) and Robinson, J. A. (John Alan)
1991, ISBN 0262121565, viii, 727
Automatic theorem proving | Robinson, J. A | Logic programming
Book
Details down arrow
17. Full Text Handbook of automated reasoning
by Robinson, J. A. (John Alan) and Voronkov, Andrei, 1959
2001, 1, Handbook of Automated Reasoning, ISBN 9780262182225, 2128
Handbook of Automated Reasoning. 
Qualitative reasoning | Automatic theorem proving | Artificial intelligence | Information Technology & Software Development | Math & Science
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
18. STeP
: the Stanford Temporal Prover
by Manna, Zohar and Stanford University. Computer Science Dept
1994, Volume STAN-CS-TR-94-1518., ii, 44
Book
Details down arrow
19. Automated deduction in classical and non-classical logics
: selected papers
by Caferra, Ricardo, 1945 and Salzer, Gernot, 1963 and SpringerLink (Online service)
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
Details down arrow
20. The automation of reasoning with incomplete information
: from semantic foundations to efficient computation
by Schaub, Torsten and SpringerLink (Online service)
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
Details down arrow
No results were found for your search.

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