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
Book Chapter (18830) 18830
Journal Article (16766) 16766
Conference Proceeding (10617) 10617
Book / eBook (4822) 4822
Publication (3075) 3075
Dissertation (348) 348
Book Review (182) 182
Magazine Article (164) 164
Newspaper Article (94) 94
Reference (85) 85
Report (70) 70
Paper (53) 53
Trade Publication Article (34) 34
Patent (17) 17
Web Resource (11) 11
Government Document (4) 4
Electronic Resource (3) 3
Data Set (2) 2
Technical Report (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (24010) 24010
logics and meanings of programs (20763) 20763
software engineering (14017) 14017
mathematical logic and formal languages (11006) 11006
programming languages, compilers, interpreters (10016) 10016
artificial intelligence (9391) 9391
logic (8322) 8322
programming techniques (6710) 6710
computer communication networks (6511) 6511
algorithm analysis and problem complexity (4194) 4194
computation by abstract devices (3927) 3927
philosophy (3534) 3534
computer science, theory & methods (3068) 3068
logic design (2943) 2943
discrete mathematics in computer science (2521) 2521
analysis (2492) 2492
mathematics (2453) 2453
algorithms (2431) 2431
mathematical logic (2299) 2299
electronic books (2129) 2129
semantics (2126) 2126
computer logic (2053) 2053
information storage and retrieval (2037) 2037
fuzzy logic (1875) 1875
congresses (1840) 1840
management of computing and information systems (1831) 1831
information systems applications (1822) 1822
programming languages (1819) 1819
computer science, artificial intelligence (1778) 1778
mathematical logic and foundations (1752) 1752
theory of computation (1705) 1705
software engineering/programming and operating systems (1663) 1663
multimedia information systems (1570) 1570
design of logic systems (1549) 1549
design, logic (1549) 1549
informatics (1479) 1479
kongress (1472) 1472
epistemology (1413) 1413
symbolic and algebraic manipulation (1400) 1400
studies (1385) 1385
computers (1384) 1384
user interfaces and human computer interaction (1356) 1356
data structures (1232) 1232
computer software engineering (1219) 1219
simulation and modeling (1189) 1189
logic programming (1184) 1184
computer programming (1157) 1157
logic, symbolic and mathematical (1152) 1152
special purpose and application-based systems (1087) 1087
computer software (1065) 1065
operating systems (1061) 1061
mathematical models (1034) 1034
computer science, software engineering (1019) 1019
informatique (980) 980
metaphysics (964) 964
philosophy of science (952) 952
temporal logic (910) 910
mathematics of computing (898) 898
management (890) 890
history & philosophy of science (886) 886
reasoning (879) 879
verification (879) 879
computer science, information systems (860) 860
research (856) 856
software (851) 851
multi-user (834) 834
philosophy of language (828) 828
models (824) 824
ontology (770) 770
algebra (755) 755
electronic brains (722) 722
logic in computer science (709) 709
theory (703) 703
language (678) 678
engineering (675) 675
methods (667) 667
machine intelligence (664) 664
ai (662) 662
intelligence, artificial (661) 661
intelligent machines (656) 656
intellectronics (652) 652
artificial thinking (651) 651
thinking, artificial (651) 651
humans (650) 650
computer systems organization and communication networks (625) 625
linguistics (617) 617
theoretical computer science (612) 612
science (610) 610
systems (610) 610
mathematical analysis (604) 604
index medicus (585) 585
database management (578) 578
processor architectures (577) 577
information systems and communication service (563) 563
mathematics, applied (561) 561
information theory (560) 560
model checking (558) 558
programming (552) 552
design (545) 545
data processing (543) 543
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (787) 787
Gerstein Science - Stacks (674) 674
UTL at Downsview - May be requested (519) 519
Engineering & Comp. Sci. - Stacks (393) 393
St. Michael's College (John M. Kelly) - 3rd Floor (238) 238
UofT at Mississauga - Stacks (234) 234
Mathematical Sciences - Stacks (195) 195
Victoria University E.J. Pratt - Stacks (165) 165
UofT at Scarborough - Stacks (164) 164
Thomas Fisher Rare Book - Rare Book (119) 119
OISE - Stacks (107) 107
Collection Dvlpm't (Acquisitions) - Vendor file (103) 103
Collection Dvlpm't (Acquisitions) - Closed Orders (90) 90
Trinity College (John W Graham) - Stacks (87) 87
Thomas Fisher Rare Book - May be requested at Fisher (79) 79
St. Michael's College (John M. Kelly) - 2nd Floor (64) 64
Pontifical Inst. Mediaeval Studies - Library use only (59) 59
Online Resources - Online (56) 56
Trinity College (John W Graham) - Storage (54) 54
Regis College - Stacks (28) 28
Institute for Christian Studies - Stacks (23) 23
St. Augustine's Seminary - Stacks (21) 21
Knox College (Caven) - Stacks (19) 19
UofT at Mississauga - May be requested in 6-10 wks (17) 17
Engineering & Comp. Sci. - May be requested in 6-10 wks (15) 15
UofT at Scarborough - Withdrawn (10) 10
Engineering & Comp. Sci. - Missing (9) 9
Law (Bora Laskin) - Stacks (9) 9
Physics - Stacks (8) 8
Gerstein Science - Circulation Desk (7) 7
OISE - May be requested in 6-10 wks (7) 7
Trinity College (John W Graham) - Wycliffe Storage (7) 7
Faculty of Information - Stacks (5) 5
OISE - Missing (5) 5
Victoria University CRRS - Library use only (5) 5
Victoria University E.J. Pratt - Storage (5) 5
Aerospace - Stacks (4) 4
Gerstein Science - Missing (4) 4
UofT Schools - Stacks (4) 4
Collection Dvlpm't (Acquisitions) - Cancelled Order (3) 3
Pontifical Inst. Mediaeval Studies - Maritain (3) 3
Regis College - Storage (3) 3
Robarts - Searching (3) 3
Scarborough Hospital - General (3) 3
University College (Laidlaw) - Stacks (3) 3
Victoria University Emmanuel College - Storage (3) 3
Architecture Landscape (Shore + Moffat) - Stacks (2) 2
Engineering & Comp. Sci. - Reference (2) 2
Gerstein Science - Not Returned (2) 2
Holland Bloorview Kids Rehabilitation - Stacks (2) 2
Knox College (Caven) - Storage (2) 2
Mathematical Sciences - May be requested in 6-10 wks (2) 2
OISE - Lost (2) 2
OISE - Reference (2) 2
OISE - Theses (2) 2
Pontifical Inst. Mediaeval Studies - Reference (2) 2
Robarts - Storage (2) 2
Royal Ontario Museum - Stacks (2) 2
St. Michael's College (John M. Kelly) - Watson (2) 2
Victoria University E.J. Pratt - Northrop Frye (2) 2
Victoria University E.J. Pratt - Reference (2) 2
Victoria University Emmanuel College - Stacks (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Criminology - Stacks (1) 1
Earth Sciences (Noranda) - Stacks (1) 1
Engineering & Comp. Sci. - Not Returned (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Engineering & Comp. Sci. - Withdrawn (1) 1
Gerstein Science - Periodical Stacks (1) 1
Humber River Regional Hospital - Church Stacks (1) 1
Indust. Rel's & Hum. Resources (Newman) - Library use only (1) 1
Lakeridge Health Sciences - Oshawa (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mathematical Sciences - Missing (1) 1
Media Commons - Microtexts (1) 1
Mt Sinai Hospital - Stacks (1) 1
New College (Ivey) - Stacks (1) 1
OISE - Curriculum Resources (1) 1
OISE - Modern Language (1) 1
Physics - Storage (1) 1
Pontifical Inst. Mediaeval Studies - Gilson (1) 1
Providence Healthcare - Stacks (1) 1
Regis College - Lonergan Research Institute (1) 1
Robarts - Closed Orders (1) 1
Robarts - Course Reserves (1) 1
Robarts - May be requested in 6-10 wks (1) 1
Robarts - Not Returned (1) 1
Robarts - Protected Material (1) 1
Robarts - Woodhouse Collection 13th floor (1) 1
St. Michael's College (John M. Kelly) - McLuhan (1) 1
St. Michael's College (John M. Kelly) - USMC Publications (1) 1
St. Michael's Hospital - Stacks (1) 1
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (1) 1
Thomas Fisher Rare Book - Stacks (1) 1
UofT at Mississauga - Missing (1) 1
UofT at Mississauga - Oversize (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
UofT at Scarborough - Oversize (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (40271) 40271
Japanese (246) 246
German (217) 217
Spanish (168) 168
French (108) 108
Portuguese (28) 28
Latin (27) 27
Czech (22) 22
Chinese (21) 21
Polish (19) 19
Italian (16) 16
Russian (15) 15
Dutch (13) 13
Arabic (12) 12
Korean (6) 6
Sanskrit (5) 5
Slovak (5) 5
Turkish (5) 5
Greek (4) 4
Romanian (4) 4
Ancient Greek (3) 3
Danish (3) 3
Lithuanian (3) 3
Croatian (2) 2
Hungarian (2) 2
Swedish (2) 2
Tibetan (2) 2
Bulgarian (1) 1
Maltese (1) 1
Nepali (1) 1
Welsh (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1. Verification of business rules programs
by Berstel-Da Silva, Bruno
2014, 2014, ISBN 9783642400377, Volume 9783642400384, xvii, 236
This publication enables rule authors and tool developers to understand, express formally, and prove properties of the execution behavior of business rules... 
Rule-based programming | Computer network resources | Business | Artificial Intelligence (incl. Robotics) | Programming Techniques | Logics and Meanings of Programs | Computer Science | Database Management
Book
Details down arrow
2. Algebra, meaning, and computation
: essays dedicated to Joseph A. Goguen on the occasion of his 65th birthday
by Futatsugi, Kokichi and Jouannaud, Jean-Pierre and Meseguer, José and Goguen, Joseph
2006, Volume 4060.
Data processing | Algebra | Goguen, Joseph | Computation
Conference Proceeding
Details down arrow
3. Complexity theory
: exploring the limits of efficient algorithms
by Wegener, Ingo
2005, ISBN 3540210458, xi, 308
Algorithms | Coding and Information Theory | Algorithm Analysis and Problem Complexity | Logics and Meanings of Programs | Computer Science | Mathematical Logic and Formal Languages
Book
Details down arrow
4. Automatische Synthese Rekursiver Programme als Beweisverfahren
by Biundo, Susanne
1992, ISBN 3540553002, Volume 302., vii, 259
Book
Details down arrow
5. Full Text Types for proofs and programs
: international workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003 : revised selected papers
by Berardi, Stefano and Coppo, Mario, 1947 and Damiani, Ferruccio and SpringerLink (Online service)
2004, Lecture notes in computer science, ISBN 9783540221647, Volume 3085., x, 408
These proceedings contain a selection of refereed papers presented at or related to the 3rd Annual Workshop of the Types Working Group (Computer-Assisted... 
Computer programming | Automatic theorem proving | Congresses | Computer science | Logic design | Programming Languages, Compilers, Interpreters | Artificial intelligence | Logics and Meanings of Programs | Mathematical Logic and Formal Languages | Type theory
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
6. Interactive theorem proving and program development
: Coq'Art : the calculus of inductive constructions
by Bertot, Yves and Castéran, P. (Pierre)
2004, Texts in theoretical computer science, ISBN 3540208542, xxv, 469
Computer programming | Automatic theorem proving
Book
Details down arrow
7. 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
Because of its promise to support human programmers in developing correct and efficient program code and in reasoning about programs, automatic program... 
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
8. Verification, model checking, and abstract interpretation
: 8th international conference, VMCAI 2007 : Nice, France, January 14-16, 2007 ; proceedings
by Cook, Byron and Podelski, Andreas
2007, Volume 4349.
Verification | Computer programs
Conference Proceeding
Details down arrow
9. Full Text Logic-Based Program Synthesis and Transformation : 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers
by Falaschi, Moreno
12/2015, 1st ed. 2015, Lecture Notes in Computer Science, ISBN 331927435X, Volume 9527, 384
Software Engineering/Programming and Operating Systems | Artificial Intelligence (incl. Robotics) | Discrete Mathematics in Computer Science | Logics and Meanings of Programs | Computer Science | Mathematical Logic and Formal Languages
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
10. Full Text Program development in computational logic
: a decade of research advances in logic-based program development
by Bruynooghe, M and Lau, K.-K and SpringerLink (Online service)
2004, Lecture notes in computer science, ISBN 3540221522, Volume 3049., viii, 538
1 The tenth anniversary of the LOPSTR symposium provided the incentive for this volume. LOPSTR started in 1991 as a workshop on logic program synthesis and... 
Logic programming | Computer logic | Computer science | Programming Techniques | Programming Languages, Compilers, Interpreters | Logic design | Artificial intelligence | Logics and Meanings of Programs | Software engineering | Mathematical Logic and Formal Languages
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
11. Full Text Mathematics of program construction
: 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
by Uustalu, Tarmo
2006, Lecture notes in computer science, ISBN 9783540356318, Volume 4014., x, 454
Computer science | Computer programming | Mathematics | Congresses | Computation by Abstract Devices | Programming Languages, Compilers, Interpreters | Software Engineering | Logics and Meanings of Programs | Computer Science | Mathematical Logic and Formal Languages
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
12. Full Text Algebraic and coalgebraic methods in the mathematics of program construction
: international summer school and workshop Oxford, UK, April 10-14, 2000, revised lectures
by Backhouse, Roland C and Crole, Roy L and Gibbons, Jeremy and SpringerLink (Online service)
2002, Lecture notes in computer science, ISBN 9783540436133, Volume 2297., xiv, 385
Program construction is about turning specifications of computer software into implementations. Recent research aimed at improving the process of program... 
Computer science | Computer programming | Mathematics | Algebra | Congresses | Programming Languages, Compilers, Interpreters | Software Engineering/Programming and Operating Systems | Logic design | Theory of Computation | Logics and Meanings of Programs | Software engineering | Information theory | Mathematical Logic and Formal Languages
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
13. Full Text Logic based program synthesis and transformation
: 10th international workshop, LOPSTR 2000, London, UK, July 24-28, 2000 : selected papers
by Lau, K.-K and SpringerLink (Online service)
2001, Lecture notes in computer science, ISBN 9783540421276, Volume 2042., viii, 181
This book presents revised full papers from the 10th International Workshop on Logic-Based Program Synthesis and Transformation, LOPSTR 2000, held in London,... 
Logic programming | Congresses | Computer science | Programming Techniques | Software Engineering/Programming and Operating Systems | Logic design | Artificial intelligence | Logics and Meanings of Programs | Software engineering | Mathematical Logic and Formal Languages
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
14. Instruction sequences for computer science
by Bergstra, J. A and Middelburg, Cornelis A
2012, Atlantis studies in computing, ISBN 9789491216640, Volume 2., xvi, 229
Computer science | Computer programming | Computer architecture
Book
Details down arrow
15. Full Text Programs as data objects
: Second Symposium, PADO 2001, Aarhus : Denmark, May 21-23, 2001 : proceedings
by Danvy, Olivier and Filinski, Andrzej and European Association for Programming Languages and Systems and ACM Special Interest Group in Programming Languages
2001, Lecture notes in computer science, ISBN 9783540420682, Volume 2053., viii, 277
This book constitutes the refereed proceedings of the Second Symposium on Programs as Data Objects, PADO 2001, held in Aarhus, Denmark, in May 2001.The 14... 
Data structures (Computer science) | Computer programs
eBook
Details down arrow
Digital rights down arrow
loading Loading Rights
16. Logic-based program synthesis and transformation
: 16th international symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006 : revised selected papers
by Puebla, Germán
2007, Volume 4407.
Logic programming
Conference Proceeding
Details down arrow
17. Variations on constants
: flow analysis of sequential and parallel programs
by Müller-Olm, Markus
2006, Lecture notes in computer science, ISBN 9783540453857, Volume 3800., xiii, 177
This monograph focuses on optimal flow analysis of sequential and parallel programs. It studies algorithmic properties of various versions of the well-known... 
Mathematical constants | Sequential processing (Computer science) | Variables (Mathematics) | Correctness | Parallel programming (Computer science) | Computer programs | Programming Languages, Compilers, Interpreters | Software Engineering | Logics and Meanings of Programs | Computer Science | Computer programming | System analysis
Book
Details down arrow
18. Mathematics of program construction
: 8th international conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006 : proceedings
by Uustalu, Tarmo
2006, Volume 4014
Computer science | Computer programming | Mathematics
Conference Proceeding
Details down arrow
19. Advanced database systems
: 10th British National Conference on Databases, BNCOD 10, Aberdeen, Scotland, July 6-8, 1992 : proceedings
by Gray, Peter M. D., 1940 and Lucas, Robert, 1954 and SpringerLink (Online service)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 1992, Volume 618
The theme of this book is the potential of new advanced database systems. The volume presents the proceedings of the 10th British National Conference on... 
Database management | Congresses | Computer science | Processor Architectures | Operating systems (Computers) | Logic design | Data structures (Computer scienc | Computer Communication Networks | Logics and Meanings of Programs | Data Structures and Information Theory | Operating Systems
Conference Proceeding
Details down arrow
20. Logic of programs
: workshop, ETH Zürich, May-July 1979
by Engeler, Erwin and Eidgenössische Technische Hochschule Zürich and SpringerLink (Online service)
1981, Lecture Notes in Computer Science, ISBN 9783540111603, Volume 125., 245
Logic, Symbolic and mathematical | Computer programs | Logic design | Logics and Meanings of Programs
Book
Details down arrow
No results were found for your search.

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