X
Search Filters
Format Format
Format Format
X
Sort by Item Count (A-Z)
Filter by Count
Journal Article (6017) 6017
Conference Proceeding (1132) 1132
Book Chapter (960) 960
Book / eBook (656) 656
Dissertation (81) 81
Publication (15) 15
Magazine Article (10) 10
Web Resource (8) 8
Government Document (7) 7
Paper (5) 5
Reference (3) 3
Report (2) 2
Book Review (1) 1
Newspaper Article (1) 1
more...
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
chemistry, organic (2619) 2619
computer science (2036) 2036
formal synthesis (1817) 1817
mathematical logic and formal languages (1322) 1322
formal total-synthesis (1115) 1115
chemistry, multidisciplinary (1079) 1079
artificial intelligence (986) 986
software engineering (828) 828
logics and meanings of programs (781) 781
formal verification (729) 729
synthesis (708) 708
stereoisomerism (622) 622
cyclization (621) 621
molecular structure (576) 576
enantioselective synthesis (571) 571
formal methods (571) 571
asymmetric-synthesis (570) 570
catalysis (552) 552
stereoselective-synthesis (540) 540
analysis (537) 537
derivatives (455) 455
logic design (453) 453
programming languages, compilers, interpreters (435) 435
alkaloids (427) 427
mathematical logic (391) 391
programming techniques (387) 387
computation by abstract devices (375) 375
research (371) 371
enantioselective total-synthesis (369) 369
total synthesis (356) 356
formal total synthesis (350) 350
congresses (346) 346
natural products (345) 345
algorithms (332) 332
verification (326) 326
logic, symbolic and mathematical (323) 323
construction (319) 319
algorithm analysis and problem complexity (315) 315
computer logic (308) 308
informatics (307) 307
chemical properties (295) 295
programming languages (294) 294
humans (276) 276
computer science, theory & methods (274) 274
organic compounds (270) 270
mathematics (269) 269
chemistry (266) 266
natural-products (262) 262
computers (258) 258
organic-synthesis (257) 257
software engineering/programming and operating systems (253) 253
logic (251) 251
efficient synthesis (248) 248
computer software engineering (225) 225
engineering, electrical & electronic (224) 224
aldehydes (222) 222
cycloaddition (222) 222
kongress (222) 222
computer software (219) 219
model checking (217) 217
studies (216) 216
automata (214) 214
ring-closing metathesis (214) 214
computer science, software engineering (211) 211
route (210) 210
computer programming (208) 208
formal specifications (207) 207
formal languages and automata theory (206) 206
design of logic systems (205) 205
design, logic (205) 205
asymmetric total-synthesis (204) 204
hardware (198) 198
chemical synthesis (196) 196
chemistry, medicinal (190) 190
strategy (187) 187
multi-user (183) 183
acid (180) 180
informatique (180) 180
theory of computation (180) 180
computer science, artificial intelligence (178) 178
software (177) 177
organic chemistry (174) 174
diels-alder reaction (173) 173
engineering (171) 171
electronic brains (168) 168
diels-alder reactions (166) 166
mathematical models (165) 165
usage (164) 164
machine intelligence (162) 162
ai (160) 160
computer science, hardware & architecture (160) 160
formal languages (160) 160
intelligence, artificial (160) 160
semantics (159) 159
database management (158) 158
artificial thinking (157) 157
intellectronics (157) 157
intelligent machines (157) 157
thinking, artificial (157) 157
more...
Library Location Library Location
Library Location Library Location
X
Sort by Item Count (A-Z)
Filter by Count
Robarts - Stacks (40) 40
Engineering & Comp. Sci. - Stacks (30) 30
Gerstein Science - Stacks (26) 26
UTL at Downsview - May be requested (17) 17
Collection Dvlpm't (Acquisitions) - Vendor file (15) 15
OISE - Stacks (15) 15
UofT at Mississauga - Stacks (12) 12
Online Resources - Online (8) 8
Mathematical Sciences - Stacks (5) 5
Victoria University E.J. Pratt - Stacks (5) 5
Music - Stacks (4) 4
Trinity College (John W Graham) - Stacks (4) 4
UofT at Scarborough - Stacks (4) 4
Collection Dvlpm't (Acquisitions) - Closed Orders (3) 3
St. Michael's College (John M. Kelly) - 2nd Floor (3) 3
Criminology - Stacks (2) 2
Engineering & Comp. Sci. - May be requested in 6-10 wks (2) 2
New College (Ivey) - Stacks (2) 2
Dentistry (Harry R Abbott) - Stacks (1) 1
Faculty of Information - Stacks (1) 1
Indust. Rel's & Hum. Resources (Newman) - Library use only (1) 1
OISE - Theses (1) 1
Thomas Fisher Rare Book - Rare Book (1) 1
Victoria University Emmanuel College - Stacks (1) 1
more...
Language Language
Language Language
X
Sort by Item Count (A-Z)
Filter by Count
English (8769) 8769
Japanese (158) 158
Chinese (54) 54
German (42) 42
French (40) 40
Spanish (24) 24
Portuguese (20) 20
Russian (14) 14
Korean (5) 5
Italian (3) 3
Czech (2) 2
Dutch (2) 2
Lithuanian (2) 2
Croatian (1) 1
Nauru (1) 1
Polish (1) 1
Sanskrit (1) 1
Serbian (1) 1
more...
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Chemical reviews, ISSN 0009-2665, 09/2016, Volume 116, Issue 17, pp. 9683 - 9747
Journal Article
Angewandte Chemie (International ed.), ISSN 1433-7851, 2019, Volume 58, Issue 30, pp. 10110 - 10113
Journal Article
Angewandte Chemie (International ed.), ISSN 1433-7851, 2017, Volume 56, Issue 40, pp. 12327 - 12331
Journal Article
Chemical reviews, ISSN 0009-2665, 09/2016, Volume 116, Issue 17, pp. 9748 - 9815
The [2 + 2] photocycloaddition is undisputedly the most important and most frequently used photochemical reaction. In this review, it is attempted to cover all... 
VISIBLE-LIGHT PHOTOCATALYSIS | INTRAMOLECULAR PHOTOCHEMICAL CYCLOADDITION | 1ST TOTAL-SYNTHESIS | LEWIS-ACID CATALYSIS | FORMAL TOTAL-SYNTHESIS | STEREOSELECTIVE TOTAL-SYNTHESIS | PHOTOINDUCED-ELECTRON-TRANSFER | ENANTIOSPECIFIC TOTAL-SYNTHESIS | ENANTIOSELECTIVE TOTAL-SYNTHESIS | CHEMISTRY, MULTIDISCIPLINARY | BETA-AMINO-ACIDS | Review
Journal Article
Journal Article
Chemical Society reviews, ISSN 1460-4744, 2016, Volume 45, Issue 5, pp. 1331 - 1367
Journal Article