X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (22360) 22360
Conference Proceeding (4578) 4578
Book / eBook (3043) 3043
Book Chapter (2784) 2784
Publication (1684) 1684
Patent (1011) 1011
Newspaper Article (918) 918
Magazine Article (367) 367
Dissertation (262) 262
Book Review (147) 147
Web Resource (144) 144
Trade Publication Article (78) 78
Paper (67) 67
Reference (66) 66
Government Document (16) 16
Report (15) 15
Newsletter (10) 10
Technical Report (6) 6
Standard (3) 3
Archival Material (1) 1
Journal / eJournal (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
logic (7921) 7921
fuzzy logic (6725) 6725
computer science (5526) 5526
mathematics (3657) 3657
analysis (3602) 3602
algorithms (3372) 3372
artificial intelligence (3098) 3098
engineering, electrical & electronic (2387) 2387
philosophy (2232) 2232
mathematical logic and foundations (2200) 2200
mathematical models (2189) 2189
computer science, artificial intelligence (2159) 2159
software engineering (2031) 2031
engineering (1984) 1984
logics and meanings of programs (1961) 1961
fuzzy systems (1956) 1956
mathematical logic (1785) 1785
computer science, theory & methods (1770) 1770
models (1726) 1726
design (1683) 1683
mathematical logic and formal languages (1660) 1660
physics (1619) 1619
computer simulation (1572) 1572
logic design (1513) 1513
optics (1501) 1501
fuzzy (1497) 1497
control systems (1391) 1391
studies (1380) 1380
neural networks (1379) 1379
algebra (1346) 1346
optimization (1301) 1301
methods (1257) 1257
computer science, interdisciplinary applications (1221) 1221
programmable logic controllers (1211) 1211
usage (1150) 1150
fuzzy set theory (1119) 1119
semantics (1110) 1110
temporal logic (1096) 1096
fuzzy control (1076) 1076
logic circuits (1058) 1058
mathematical analysis (1058) 1058
research (1051) 1051
programming languages, compilers, interpreters (1044) 1044
non-linear optics (1014) 1014
optical logic elements (1012) 1012
devices or arrangements, the optical operation of which ismodified by changing the optical properties of the medium of thedevices or arrangements for the control of the intensity,colour, phase, polarisation or direction of light, e.g.switching, gating, modulating or demodulating (1011) 1011
frequency-changing (1011) 1011
optical analogue/digital converters (1011) 1011
techniques or procedures for the operation thereof (1011) 1011
fuzzy algorithms (1004) 1004
controllers (973) 973
theory of computation (963) 963
fuzzy-logik (959) 959
logic gates (951) 951
computer communication networks (912) 912
index medicus (910) 910
mathematics, applied (910) 910
education (907) 907
data structures (886) 886
circuits (876) 876
geometry (868) 868
systems (862) 862
software (838) 838
boolean functions (834) 834
electronic books (834) 834
logic, symbolic and mathematical (797) 797
simulation (789) 789
artificial neural networks (780) 780
diagrams (761) 761
computer science, software engineering (754) 754
computers (743) 743
humans (734) 734
inventors (730) 730
electrical engineering (725) 725
model (724) 724
mechanical engineering (715) 715
automation & control systems (710) 710
computer science, hardware & architecture (710) 710
logic programming (690) 690
reasoning (689) 689
epistemology (688) 688
computer science, information systems (687) 687
cryptography (657) 657
programming techniques (647) 647
system (645) 645
computational intelligence (641) 641
control, robotics, mechatronics (610) 610
physics, applied (603) 603
programming languages (601) 601
design engineering (596) 596
congresses (595) 595
computation by abstract devices (594) 594
advertising (586) 586
display (581) 581
seals (581) 581
fuzzy sets (579) 579
maps (578) 578
management (571) 571
field programmable gate arrays (554) 554
binary decision diagrams (547) 547
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (612) 612
Gerstein Science - Stacks (589) 589
UTL at Downsview - May be requested (461) 461
Engineering & Comp. Sci. - Stacks (353) 353
Online Resources - Online (239) 239
UofT at Mississauga - Stacks (226) 226
St. Michael's College (John M. Kelly) - 3rd Floor (219) 219
Mathematical Sciences - Stacks (203) 203
UofT at Scarborough - Stacks (157) 157
Victoria University E.J. Pratt - Stacks (142) 142
Thomas Fisher Rare Book - Rare Book (123) 123
Collection Dvlpm't (Acquisitions) - Vendor file (106) 106
Thomas Fisher Rare Book - May be requested at Fisher (104) 104
OISE - Stacks (96) 96
Collection Dvlpm't (Acquisitions) - Closed Orders (88) 88
Trinity College (John W Graham) - Stacks (71) 71
St. Michael's College (John M. Kelly) - 2nd Floor (63) 63
Trinity College (John W Graham) - Storage (54) 54
Pontifical Inst. Mediaeval Studies - Library use only (53) 53
Institute for Christian Studies - Stacks (19) 19
Regis College - Stacks (19) 19
St. Augustine's Seminary - Stacks (16) 16
UofT at Mississauga - May be requested in 6-10 wks (15) 15
Engineering & Comp. Sci. - May be requested in 6-10 wks (14) 14
Knox College (Caven) - Stacks (14) 14
Engineering & Comp. Sci. - Missing (12) 12
Physics - Stacks (9) 9
Victoria University E.J. Pratt - Storage (9) 9
Aerospace - Stacks (7) 7
Gerstein Science - Circulation Desk (7) 7
OISE - May be requested in 6-10 wks (6) 6
UofT at Scarborough - Withdrawn (6) 6
Gerstein Science - Missing (5) 5
Law (Bora Laskin) - Stacks (4) 4
Robarts - Searching (4) 4
Trinity College (John W Graham) - Wycliffe Storage (4) 4
UofT Schools - Stacks (4) 4
Architecture Landscape (Shore + Moffat) - Stacks (3) 3
Collection Dvlpm't (Acquisitions) - Cancelled Order (3) 3
Faculty of Information - Stacks (3) 3
Mathematical Sciences - May be requested in 6-10 wks (3) 3
OISE - Missing (3) 3
Thomas Fisher Rare Book - Stacks (3) 3
UofT at Mississauga - Missing (3) 3
Victoria University CRRS - Library use only (3) 3
Victoria University E.J. Pratt - Northrop Frye (3) 3
Victoria University Emmanuel College - Stacks (3) 3
Mathematical Sciences - Missing (2) 2
OISE - Lost (2) 2
Physics - Storage (2) 2
Pontifical Inst. Mediaeval Studies - Maritain (2) 2
Robarts - Storage (2) 2
Royal Ontario Museum - Stacks (2) 2
Scarborough Hospital - General (2) 2
St. Michael's Hospital - Stacks (2) 2
University College (Laidlaw) - Stacks (2) 2
Victoria University E.J. Pratt - Reference (2) 2
Astronomy & Astrophysics - Ask at library (1) 1
Chemistry (A D Allen) - Stacks (1) 1
Earth Sciences (Noranda) - Stacks (1) 1
East Asian (Cheng Yu Tung) - Stacks (1) 1
Engineering & Comp. Sci. - Not Returned (1) 1
Engineering & Comp. Sci. - Reference (1) 1
Engineering & Comp. Sci. - Searching (1) 1
Engineering & Comp. Sci. - Withdrawn (1) 1
Gerstein Science - Reference (1) 1
Gerstein Science - Searching (1) 1
Humber River Regional Hospital - Church Stacks (1) 1
Institute for Christian Studies - Archives (1) 1
Knox College (Caven) - Storage (1) 1
Lakeridge Health Sciences - Oshawa (1) 1
Mathematical Sciences - Circulation Desk (1) 1
Mt Sinai Hospital - Stacks (1) 1
New College (Ivey) - Stacks (1) 1
OISE - Curriculum Resources (1) 1
OISE - Modern Language (1) 1
OISE - Reference (1) 1
OISE - Theses (1) 1
Physics - New Books (1) 1
Regis College - Lonergan Research Institute (1) 1
Robarts - Closed Orders (1) 1
Robarts - Course Reserves (1) 1
Robarts - Not Returned (1) 1
Robarts - Reference (1) 1
Royal Ontario Museum - Far Eastern (1) 1
St. Michael's College (John M. Kelly) - Circulation Desk (1) 1
St. Michael's College (John M. Kelly) - McLuhan (1) 1
St. Michael's College (John M. Kelly) - Watson (1) 1
Sunnybrook Health Sciences Centre - Sunnybrook Stacks (1) 1
Thomas Fisher Rare Book - May be requested in 6-10 wks (1) 1
UofT at Mississauga - Oversize (1) 1
UofT at Scarborough - May be requested in 6-10 wks (1) 1
UofT at Scarborough - Missing (1) 1
UofT at Scarborough - Oversize (1) 1
Victoria University E.J. Pratt - Not returned (1) 1
Victoria University E.J. Pratt - Rare Book (1) 1
Victoria University Emmanuel College - Birge Storage (1) 1
Victoria University Emmanuel College - Storage (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (33015) 33015
Chinese (456) 456
Japanese (293) 293
German (253) 253
French (235) 235
Spanish (134) 134
Portuguese (38) 38
Korean (29) 29
Latin (23) 23
Russian (22) 22
Polish (20) 20
Czech (16) 16
Arabic (14) 14
Dutch (14) 14
Greek (9) 9
Norwegian (9) 9
Danish (8) 8
Italian (8) 8
Slovak (8) 8
Turkish (8) 8
Ancient Greek (5) 5
Sanskrit (5) 5
Hungarian (3) 3
Indonesian (3) 3
Latvian (3) 3
Romanian (3) 3
Slovenian (3) 3
Swedish (3) 3
Afrikaans (2) 2
Bulgarian (2) 2
Lithuanian (2) 2
Tibetan (2) 2
Croatian (1) 1
Estonian (1) 1
Maltese (1) 1
Nepali (1) 1
Persian (1) 1
Serbian (1) 1
Ukrainian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


1998, Problems in contemporary philosophy, ISBN 0773481907, Volume 40, ii, 105
Book
1996, Studies in logic and computation, ISBN 9780195104271, 287
PART A: Theoretical Issues 1. Visual Information and Valid Reasoning, Jon Barwise and John Etchemendy 2. Operational Constraints in Diagrammatic Reasoning,... 
Logic, Symbolic and mathematical | Knowledge representation (Information theory) | Charts, diagrams, etc
eBook
1982, 2nd ed. --, ISBN 9780226282435, xiv, 165
Book
2003, ISBN 0387955453, xix, 285
Interpreting decision diagrams using the spectral approach advances both the utility and understanding of classical DD techniques and provides a framework for... 
Signal processing | Logic design | Mathematics | Spectrum analysis | Computer science | Computer-Aided Engineering (CAD, CAE) and Design | Computer aided design | Register-Transfer-Level Implementation
Book
1983, 2nd ed. --, Mathematics / Computer science, ISBN 9780710804099, xiv, 165
Book
2002, CSLI lecture notes, ISBN 9781575864051, Volume no. 141., x, 276
Book
1994, ISBN 9780521461573, xi, 197
Diagrams are widely used in reasoning about problems in physics, mathematics and logic, but have traditionally been considered to be only heuristic tools and... 
Logic, Symbolic and mathematical | Venn diagrams
Book
2002, CSLI lecture notes, ISBN 9781575862934, Volume no. 116, vii, 214
Book
Artificial Intelligence, ISSN 0004-3702, 2005, Volume 168, Issue 1, pp. 70 - 118
UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools... 
CASE tools | Verification | Description logics | UML class diagrams | Computational complexity | Knowledge representation | description logics | knowledge representation | LANGUAGES | LOGIC | verification | COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE | computational complexity | Artificial intelligence | Analysis | Arms control
Journal Article
2001, CSLI lecture notes, ISBN 9781575863245, Volume no. 127, xii, 204
Book
2015, Synthesis Lectures on Digital Circuits and Systems, ISBN 1627056491, Volume 45, Issue 2, 123
eBook
Foundations of Science, ISSN 1233-1821, 9/2019, Volume 24, Issue 3, pp. 583 - 604
Journal Article
No results were found for your search.

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