Articles

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

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 (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


1. Full Text Backward under-approximations in numeric abstract domains to automatically infer sufficient program conditions
by Miné, A
Science of computer programming, ISSN 0167-6423, 11/2014, Volume 93, pp. 154 - 182
Numeric abstract domains | Abstract interpretation | Backward analysis | Under-approximation | Static analysis | Computer Science, Software Engineering | Technology | Computer Science | Science & Technology | Performance | Formal Languages and Automata Theory
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
2. Verification of business rules programs
by Berstel-Da Silva, Bruno
2014, 2014, ISBN 9783642400377, Volume 9783642400384, xvii, 236
Rule-based programming | Computer network resources | Business | Programming Techniques | Artificial Intelligence | Logics and Meanings of Programs | Computer Science | Database Management
Book
Details down arrow
3. Full Text The Tapenade automatic differentiation tool
: Principles, model, and specification
by Hascoet, Laurent and Pascual, Valérie
ACM transactions on mathematical software, ISSN 0098-3500, 04/2013, Volume 39, Issue 3, pp. 1 - 43
adjoint compiler | Source transformation | Adjoint compiler | Physical Sciences | Technology | Computer Science | Mathematics | Computer Science, Software Engineering | Mathematics, Applied | Science & Technology | Theoretical computing | Exact sciences and technology | Applied sciences | Algorithmics. Computability. Computer arithmetics | Software | Computer systems and distributed systems. User interface | Programming languages | Computer science; control theory; systems | Tangents (Geometry) | Algorithms | Research | Numerical differentiation | Methods | Adjoints | Modeling and Simulation | Software Engineering | Data Structures and Algorithms
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
4. Full Text Recent Trends in Algebraic Development Techniques
: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
by James, Phillip and Roggenbach, Markus
2017, Lecture Notes in Computer Science, ISBN 9783319720432, Volume LNCS-10644
Computer Science
Book
Details down arrow
Digital rights down arrow
loading Loading Rights
5. Full Text Proving weak properties of rewriting
by Gnaedig, Isabelle and Kirchner, Hélène
Theoretical computer science, ISSN 0304-3975, 2011, Volume 412, Issue 34, pp. 4405 - 4438
Narrowing | Abstraction | Induction | Weak termination | Completeness | Rewriting | Computer Science, Theory & Methods | Technology | Computer Science | Science & Technology | Miscellaneous | Combinatorics. Ordered structures | Theoretical computing | Exact sciences and technology | Applied sciences | Algorithmics. Computability. Computer arithmetics | Mathematics | Graph theory | Combinatorics | Sciences and techniques of general use | Computer science; control theory; systems | Trees | Acceptance | Computer simulation | Computation | Proving | Programming | Strategy | Construction costs | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
6. Full Text Recent Trends in Algebraic Development Techniques
: 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21–24, 2016, Revised Selected Papers
by James, Phillip and Roggenbach, Markus
ISSN 0302-9743, 2017, Volume 10644
Programming Languages, Compilers, Interpreters | Software Engineering | Computer Science | Simulation and Modeling | Logics and Meanings of Programs | Mathematical Logic and Foundations | Mathematical Logic and Formal Languages
Conference Proceeding
Details down arrow
Digital rights down arrow
loading Loading Rights
7. Full Text Krivine machines and higher-order schemes
by Salvati, Sylvain and Walukiewicz, Igor
Information and computation, ISSN 0890-5401, 12/2014, Volume 239, pp. 340 - 355
Parity games | Simply typed lambda-calculus | Higher-order model checking | Krivine machine | Monadic second order logic | Physical Sciences | Technology | Computer Science | Computer Science, Theory & Methods | Mathematics | Mathematics, Applied | Science & Technology | Analysis | Robots | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
8. Radical innovations of software and systems engineering in the future
: 9th international workshop, RISSEF 2002, Venice, Italy, October 7-11. 2002 : revised papers
by Wirsing, M and Knapp, Alexander and Balsamo, Simonetta and SpringerLink (Online service)
2004, Lecture notes in computer science, ISBN 9783540211792, Volume 2941., x, 357
Systems engineering | Software engineering | Congresses | Computer science | Software Engineering/Programming and Operating Systems | Logic design | Programming Languages, Compilers, Interpreters | Logics and Meanings of Programs
Book
Details down arrow
9. Full Text The IO and OI hierarchies revisited
by Kobele, Gregory M and Salvati, Sylvain
Information and computation, ISSN 0890-5401, 08/2015, Volume 243, pp. 205 - 221
Simply typed lambda-calculus | Montague semantics | Higher-order grammars | Formal language theory | Membership problem | Logic in Computer Science | Formal Languages and Automata Theory | Computation and Language | Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
10. Full Text From Rules to Meanings
: New Essays on Inferentialism
by Beran, Ondřej and Kolman, Vojtěch and Koreň, Ladislav
2018, 1, Routledge studies in contemporary philosophy, ISBN 9781138102613, Volume 103, 368
Philosophy of Logic | Philosophy of Language | Semantics | Wittgenstein | Inference | Meaning (Philosophy)
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
11. Full Text Logic-Based Program Synthesis and Transformation
: 29th International Symposium, LOPSTR 2019, Porto, Portugal, October 8-10, 2019, Revised Selected Papers
by Gabbrielli, Maurizio
2020, ISBN 9783030452599, 270
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
12. Full Text Termination of rewriting under strategies
by Gnaedig, Isabelle and Kirchner, Hélène
ACM transactions on computational logic, ISSN 1529-3785, 02/2009, Volume 10, Issue 2, pp. 1 - 52
termination | induction | outermost | ordering constraint | innermost | narrowing | Abstraction | local strategy | Local strategy | Outermost | Induction | Narrowing | Termination | Ordering constraint | Innermost | Computer Science, Theory & Methods | Science & Technology - Other Topics | Logic | Technology | Computer Science | Science & Technology | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
13. Interactive theorem proving and program development
: Coq'Art: the calculus of inductive constructions
by Bertot, Yves
2004, ISBN 3540208542, xxv, 469
Book
Details down arrow
14. Full Text On the decidability of the existence of polyhedral invariants in transition systems
by Monniaux, David and Monniaux, David
Acta informatica, ISSN 0001-5903, 6/2019, Volume 56, Issue 4, pp. 385 - 389
03D80 | 68Q17 | Software Engineering/Programming and Operating Systems | Theory of Computation | Information Systems and Communication Service | Data Structures and Information Theory | Computer Systems Organization and Communication Networks | Computer Science | 03D25 | 68Q60 | 03B35 | Logics and Meanings of Programs | 03D35 | Computer Science, Information Systems | Technology | Science & Technology | Studies | Computer programming | Automation | Polyhedra | Program verification (computers) | Invariants | Programming Languages | Logic in Computer Science
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
15. Complexity theory
: exploring the limits of efficient algorithms
by Wegener, Ingo
2005, ISBN 3540210458, xi, 308
Programming Techniques | Algorithms | Computer Science | Coding and Information Theory | Algorithm Analysis and Problem Complexity | Logics and Meanings of Programs | Mathematical Logic and Formal Languages
Book
Details down arrow
16. Full Text An open logical framework
by Honsell, Furio and Lenisa, Marina and Scagnetto, Ivan and Liquori, Luigi and Maksimovic, Petar
Journal of logic and computation, ISSN 0955-792X, 10/2012, Volume 26, Issue 1, pp. 293 - 335
logical frameworks | typed lambda calculus | type theory | Computer aided formal verification | Computer Science, Theory & Methods | Science & Technology - Other Topics | Logic | Technology | Computer Science | Science & Technology | Logic in Computer Science | Computation and Language
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
17. Full Text Analyzing an embedded sensor with timed automata in uppaal
by Bourke, Timothy and Sowmya, Arcot
ACM transactions on embedded computing systems, ISSN 1539-9087, 12/2013, Volume 13, Issue 3, pp. 1 - 26
timing diagrams | Timed automata | Uppaal | timed trace inclusion | Timed trace inclusion | Timing diagrams | Computer Science, Hardware & Architecture | Computer Science, Software Engineering | Technology | Computer Science | Science & Technology | Infrared | Embedded sensors | Software | Hardware | Embedded computer systems | Sensors | Computer programs | Embedded Systems
Journal Article
Details down arrow
Digital rights down arrow
loading Loading Rights
18. Inductive synthesis of functional programs
: universal planning, folding of finite programs, and schema abstraction by analogical reasoning
by Schmid, U. (Ute) and SpringerLink (Online service)
2003, Lecture notes in computer science, ISBN 3540401741, Volume 2654. Lecture notes in artificial intelligence, xxii, 398
Computer programming | Artificial intelligence | Software engineering | Computer science | Programming Techniques | Science, Humanities and Social Sciences, multidisciplinary | Logic design | Logics and Meanings of Programs | Mathematical Logic and Formal Languages
Book
Details down arrow