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


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
1992, ISBN 3540553002, Volume 302., vii, 259
Book
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
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
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
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
2012, Atlantis studies in computing, ISBN 9789491216640, Volume 2., xvi, 229
Book
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
2006, Lecture notes in computer science, ISBN 9783540453857, Volume 3800., xiii, 177
Book
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
No results were found for your search.

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