This old version of Proteopedia is provided for student assignments while the new version is undergoing repairs. Content and edits done in this old version of Proteopedia after March 1, 2026 will eventually be lost when it is retired in about June of 2026.


Apply for new accounts at the new Proteopedia. Your logins will work in both the old and new versions.


Kinesin 3D Structures

From Proteopedia

(Difference between revisions)
Jump to: navigation, search
Line 4: Line 4:
{{#tree:id=OrganizedByTopic|openlevels=0|
{{#tree:id=OrganizedByTopic|openlevels=0|
-
*Kinesin heavy chain
+
*KIF1A, KIF1B, KIF1C or kinesin-3
-
**[[4ejq]], [[4egx]] - hKIF1A FHA domain - human<br />
+
**[[4ejq]], [[4egx]] - hKIF1A CC1-FHA domain 430-607 - human<br />
**[[1bg2]] – hKIF MD<br />
**[[1bg2]] – hKIF MD<br />
**[[5lt3]], [[5lt4]], [[5lt2]], [[5lt0]], [[5lt1]] – hKIF1 MD (mutant) <br />
**[[5lt3]], [[5lt4]], [[5lt2]], [[5lt0]], [[5lt1]] – hKIF1 MD (mutant) <br />
**[[2g1l]] - hKIF1C FHA domain<br />
**[[2g1l]] - hKIF1C FHA domain<br />
-
**[[5wdh]] – hKIFC1 MD<br />
+
**[[5wdh]] – hKIF1C MD<br />
 +
**[[2rep]] – hKIFC1 MD<br />
**[[2eh0]] - hKIF1B FHA domain – NMR<br />
**[[2eh0]] - hKIF1B FHA domain – NMR<br />
-
**[[2heh]], [[4ubf]], [[5y05]] – hKIF2C<br />
+
**[[4hna]], [[4lnu]] – hKIF1 + Tubulin + designed ankyrin repeat protein + Mg-ADP + GDP + GTP + AlF4<br />
-
**[[3b6u]], [[3b6v]] – hKIF3B MD<br />
+
**[[4uxy]] – hKIF1 MD + Tubulin + GDP + GTP Cryo EM<br />
-
**[[4a14]] hKIF7 MD <br />
+
**[[6ojq]] – hKIF1 MD + Tubulin + G2P + GTP – Cryo EM<br />
-
**[[2xt3]] – hKIF7 MD (mutant)<br />
+
**[[4uy0]] – hKIF1 MD + Tubulin + GDP + GTP + ADP Cryo EM<br />
-
**[[3j2u]] – hKIF10A head domain – Cryo EM<br />
+
**[[4uxo]], [[4uxp]], [[4uxr]], [[4uxs]], [[4uxt]] - hKIF + tubulin 1B, 2B chains + GDP + GTP Cryo EM <br />
-
**[[2cow]] – hKIF13B CAP-gly domain – NMR<br />
+
**[[2p4n]] – hKIF+ Tubulin EM docking<br />
-
**[[4bn2]] – hKIF15 MD<br />
+
**[[1mkj]] – hKIF MD+docked FNL<br />
-
**[[2v14]] hKIF16B<br />
+
**[[6zph]] – hKIF MD + KIF-binding protein Cryo EM<br />
-
**[[5d3a]] – hKIF21A coiled coil domain 938-1017 <br />
+
**[[2wbe]] – bKIF MD+FNL+Tubulin +AMPPNP bovine <br />
-
**[[2edu]] – hKIF22 C-terminal – NMR<br />
+
**[[3edl]] – bKIF MD+ Tubulin EM<br />
-
**[[6nje]] – hKIF22 MD<br />
+
-
**[[2zfi]], [[2zfj]], [[2zfk]], [[2zfl]], [[2zfm]] mKIF1A – mouse<br />
+
-
**[[6ign]], [[6igv]] – mKIF5B coiled coil domain 444-566 <br />
+
-
**[[3wrd]] mKIF5C<br />
+
-
**[[5djo]] – mKIF13A CC1-FHA domain <br />
+
-
**[[5djn]] – mKIF13A coiled-coil domain (mutant)<br />
+
-
**[[3kin]], [[2kin]] – rKIF MD - rat<br />
+
-
**[[6a1z]] – rKIF13B<br />
+
-
**[[6a20]] – rKIF13B (mutant)<br />
+
-
**[[2ncd]], [[1cz7]] – DmKIF MD non-claret disjuctional (NCD) dimer ''Drosophila melanogaster'' <br />
+
-
**[[2y5w]], [[2y65]] - DmKIF MD<br />
+
-
**[[1ry6]] – KIF MD – ''Plasmodium falciparum''<br />
+
-
**[[2vvg]] – KIF2 MD – ''Giardia intestinalis''<br />
+
-
**[[2owm]] – NcKIF1C MD – ''Neurospora crassa''<br />
+
-
**[[1goj]] – NcKIF MD<br />
+
-
 
+
-
*''Kinesin heavy chain complex with nucleotide''
+
-
 
+
-
**[[2gry]] – hKIF2+ADP<br />
+
-
**[[5wde]] – hKIFC3+ADP<br />
+
-
**[[3nwn]] hKIF9+ADP<br />
+
-
**[[3gbj]] – hKIF13B MD+ADP <br />
+
-
**[[2cjo]] hKIF13+inhibitor 30<br />
+
**[[3uyq]] – pKIF1A head+AMPPNP – pig<br />
**[[3uyq]] – pKIF1A head+AMPPNP – pig<br />
**[[2hxh]] - pKIF1A head+ADP<br />
**[[2hxh]] - pKIF1A head+ADP<br />
**[[2hxf]] - pKIF1A head+AMPPNP<br />
**[[2hxf]] - pKIF1A head+AMPPNP<br />
 +
**[[1ia0]] – pKIF1A MD+Tubulin +ATP <br />
 +
**[[2zfi]], [[2zfj]], [[2zfk]], [[2zfl]], [[2zfm]] – mKIF1A – mouse<br />
**[[1vfv]], [[1vfw]] – mKIF1A MD+Mg-AMPPNP<br />
**[[1vfv]], [[1vfw]] – mKIF1A MD+Mg-AMPPNP<br />
**[[1vfx]] - mKIF1A MD+ADP-Mg-AlFx<br />
**[[1vfx]] - mKIF1A MD+ADP-Mg-AlFx<br />
**[[1vfz]] - mKIF1A MD+ADP-Mg-VO4<br />
**[[1vfz]] - mKIF1A MD+ADP-Mg-VO4<br />
 +
**[[4atx]] - rKIF MD+ Tubulin – rat - Cryo EM<br />
 +
**[[2owm]] – NcKIF1C MD – ''Neurospora crassa''<br />
 +
 +
*KIF2A, KIF2B, KIF2C or kinesin-13
 +
 +
**[[2heh]], [[4ubf]], [[5y05]] – hKIF2C<br />
 +
**[[2gry]] – hKIF2+ADP<br />
 +
**[[5mio]] – hKIF2C MD + Tubulin <br />
**[[1v8j]], [[5xja]], [[5xjb]] – mKIF2C MD+Mg-ADP<br />
**[[1v8j]], [[5xja]], [[5xjb]] – mKIF2C MD+Mg-ADP<br />
**[[1i5s]] - mKIF2C MD (mutant)+Mg-ADP<br />
**[[1i5s]] - mKIF2C MD (mutant)+Mg-ADP<br />
**[[1i6i]] - mKIF2C MD (mutant)+Mg-AMPPCP<br />
**[[1i6i]] - mKIF2C MD (mutant)+Mg-AMPPCP<br />
**[[1v8k]] - mKIF2C MD+Mg-AMPPNP<br />
**[[1v8k]] - mKIF2C MD+Mg-AMPPNP<br />
-
**[[3zfc]], [[3zfd]] – mKIF4 MD+Mg-AMPPNP<br />
+
**[[2vvg]] – KIF2 MD – ''Giardia intestinalis''<br />
-
**[[3x2t]] mKIF5C + ADP<br />
+
-
**[[5gsy]] – mKIF19A MD + GDP<br />
+
-
**[[5gsz]] – mKIF19A MD + ADP<br />
+
 +
*KIF3A, KIF3B, KIF3C or kinesin-2
-
*''Kinesin heavy chain complex with protein''
+
**[[3b6u]], [[3b6v]] – hKIF3B MD<br />
 +
**[[2h58]], [[5wde]] – hKIFC3+ADP<br />
-
**[[4hna]], [[4lnu]] – hKIF1 + Tubulin + designed ankyrin repeat protein + Mg-ADP + GDP + GTP + AlF4<br />
+
*KIF4A, KIF4B or kinesin-4
-
**[[4uxy]] – hKIF1 MD + Tubulin + GDP + GTP – Cryo EM<br />
+
 
-
**[[6ojq]] – hKIF1 MD + Tubulin + G2P + GTP – Cryo EM<br />
+
**[[3zfc]], [[3zfd]] – mKIF4 MD+Mg-AMPPNP<br />
-
**[[4uy0]] – hKIF1 MD + Tubulin + GDP + GTP + ADP – Cryo EM<br />
+
 
-
**[[2p4n]] – hKIF+ Tubulin – EM docking<br />
+
*KIF5B, KIF5C or kinesin-1
-
**[[1mkj]] – hKIF MD+docked FNL<br />
+
 
-
**[[5mio]] – hKIF2C MD + Tubulin <br />
+
**[[6ign]], [[6igv]] – mKIF5B coiled coil domain 444-566 <br />
-
**[[3fm8]] – hKIF13B FHA domain + centaurin-alpha-1<br />
+
**[[3wrd]] – mKIF5C<br />
-
**[[3md8]] – hKIF13B FHA domain + centaurin-alpha-1 + IP4<br />
+
**[[3x2t]] – mKIF5C + ADP<br />
-
**[[3vhx]] – hKIF23 794-911 + ADP-ribosylation factor 6 <br />
+
-
**[[2wbe]] – bKIF MD+FNL+Tubulin +AMPPNP – bovine <br />
+
-
**[[3edl]] – bKIF MD+ Tubulin – EM<br />
+
-
**[[1ia0]] – pKIF1A MD+Tubulin +ATP <br />
+
-
**[[4atx]] - rKIF MD+ Tubulin – Cryo EM<br />
+
**[[3j6h]] – mKIF5C MD+Mg-GTP + G2P + tubulin <br />
**[[3j6h]] – mKIF5C MD+Mg-GTP + G2P + tubulin <br />
**[[3j8x]], [[3j8y]] – mKIF5C MD+ GTP + GDP + tubulin<br />
**[[3j8x]], [[3j8y]] – mKIF5C MD+ GTP + GDP + tubulin<br />
-
**[[5nd3]] – mKIF20A MD + tubulin <br />
 
-
**[[5nd2]], [[5nd4]] – mKIF20A MD + tubulin + ADP <br />
 
-
**[[5nd7]] – mKIF20A MD + tubulin + AMPPNP <br />
 
-
**[[5lef]] – mKIF20A residues 603-665 + RAB-6 <br />
 
-
**[[1n6m]] – DmKIF MD+FNL<br />
 
-
*Kinesin light chain (KLC)
+
*KIF7 or kinesin-4
-
**[[5oj8]] – hKLC1 TPR domain <br />
+
**[[4a14]] – hKIF7 MD <br />
-
**[[3edt]] – hKLC2<br />
+
**[[2xt3]] – hKIF7 MD (mutant)<br />
-
**[[3ceq]], [[3nf1]] – hKLC2 TPR domain<br />
+
-
**[[6f9i]] – hKLC2 + clcytenin peptide <br />
+
-
**[[6fv0]] – mKLC1 TPR domain + nanobody<br />
+
-
**[[5ojf]] – mKLC2 TPR domain <br />
+
-
**[[3zfw]], [[5fjy]], [[6ejn]] - mKLC2 TPR domain + peptide<br />
+
-
*Kinesin-3 motor domain
+
*KIF9 or kinesin-9
-
**[[4uxo]], [[4uxp]], [[4uxr]], [[4uxs]], [[4uxt]] - KIF + tubulin 1B, 2B chains + GDP + GTP – bovine – Cryo EM <br />
+
**[[3nwn]] – hKIF9+ADP<br />
-
**[[5zbs]] – rKIF13B (mutant)<br />
+
-
**[[5zbr]] – rKIF13B + AMPPNP<br />
+
-
**[[5b64]] – mKIF13B + MAGUK<br />
+
-
*Kinesin-5 motor domain
+
*KIF10A or kinesin-6
-
**[[4b7b]] - hKIF11 (mutant) + ADP + Co + Cd <br />
+
**[[3j2u]] – hKIF10A head domain – Cryo EM<br />
-
**[[3ken]], [[2wog]], [[2x2r]], [[2xae]], [[4bbg]] - hKIF11 +S-trityl-L-cysteine derivative + ADP + Mg<br />
+
**[[6b0c]] – DmKlp10A + tubulin + GTP + GDP + ANP + Mg – Cryo EM<br />
 +
 
 +
*KIF11 or kinesin-5
 +
 
 +
[[4b7b]] - hKIF11 (mutant) + ADP + Co + Cd <br />
 +
[[3ken]], [[2wog]], [[2x2r]], [[2xae]], [[4bbg]] - hKIF11 +S-trityl-L-cysteine derivative + ADP + Mg<br />
**[[3wpn]] - hKIF11 +inhibitor <br />
**[[3wpn]] - hKIF11 +inhibitor <br />
-
**[[2uyi]], [[2uym]], [[2gm1]], [[2pg2]], [[2fme]], [[2x7d]], [[2x7c]], [[2ieh]], [[3cjo]], [[2g1q]], [[2fl2]], [[2fl6]], [[1yrs]], [[2q2y]], [[2fky]], [[2q2z]], [[3k3b]], [[2x7e]], [[4a50]], [[4a51]], [[3zcw]] - hKIF11+inhibitor +ADP + Mg<br />
+
[[2uyi]], [[2uym]], [[2gm1]], [[2pg2]], [[2fme]], [[2x7d]], [[2x7c]], [[2ieh]], [[3cjo]], [[2g1q]], [[2fl2]], [[2fl6]], [[1yrs]], [[2q2y]], [[2fky]], [[2q2z]], [[3k3b]], [[2x7e]], [[4a50]], [[4a51]], [[3zcw]] - hKIF11+inhibitor +ADP + Mg<br />
-
**[[4bxn]], [[4as7]] - hKIF11+inhibitor +ADP + Cd<br />
+
[[4bxn]], [[4as7]] - hKIF11+inhibitor +ADP + Cd<br />
-
**[[3l9h]] - hKIF11+inhibitor +ADP <br />
+
[[3l9h]] - hKIF11+inhibitor +ADP <br />
**[[4zhi]] – hKIF11 MD +ADP<br />
**[[4zhi]] – hKIF11 MD +ADP<br />
-
**[[1x88]], [[1q0b]] - hKIF11 +Mg + ADP+monastrol <br />
+
[[1x88]], [[1q0b]] - hKIF11 +Mg + ADP+monastrol <br />
-
**[[4ap0]], [[4a5y]] - hKIF11 +MgADP + ispinesib + Mg<br />
+
[[4ap0]], [[4a5y]] - hKIF11 +MgADP + ispinesib + Mg<br />
-
**[[3hqd]] - hKIF11 +AMPPNP+Mg<br />
+
[[3hqd]] - hKIF11 +AMPPNP+Mg<br />
-
**[[1ii6]], [[4a1z]], [[4a28]] - hKIF11 +ADP+Mg<br />
+
[[1ii6]], [[4a1z]], [[4a28]] - hKIF11 +ADP+Mg<br />
**[[4zca]] - hKIF11 (mutant) +ADP+Mg<br />
**[[4zca]] - hKIF11 (mutant) +ADP+Mg<br />
-
**[[3k5e]] - hKIF11 +ADP+enastrol + Mg<br />
+
[[3k5e]] - hKIF11 +ADP+enastrol + Mg<br />
-
**[[4aqv]], [[4aqw]] – hKIF11 (mutant) + tubulin + GDP + GTP + Mg – Cryo EM<br />
+
**[[6zpi]] – hKIF11 MD + tubulin + GDP + GTP + Mg – Cryo EM<br />
-
**[[4ck5]], [[4ck6]], [[4ck7]] – hKIF11 (mutant) + tubulin + ADP + GDP + GTP + Mg – Cryo EM<br />
+
[[4aqv]], [[4aqw]] – hKIF11 (mutant) + tubulin + GDP + GTP + Mg – Cryo EM<br />
-
**[[4pxt]], [[4pxu]] – DmKIF (mutant)<br />
+
[[4ck5]], [[4ck6]], [[4ck7]] – hKIF11 (mutant) + tubulin + ADP + GDP + GTP + Mg – Cryo EM<br />
-
**[[5m5i]], [[5m5l]], [[5m5m]], [[5m5n]], [[5m5o]] – KIF + tubulin + GDP + GTP + ANP + taxol – fission yeast – Cryo EM<br />
+
**[[6ta3]], [[6tiw]] – hKIF11 MD (mutant) + tubulin + G2P + quinolin derivative + Mg – Cryo EM<br />
-
**[[5mm4]], [[5mm7]] – KIF + tubulin + GDP + GTP + ANP + taxol – Ustilago maydis – Cryo EM<br />
+
**[[6ta4]] – hKIF11 MD + tubulin + G2P + ANP + Mg – Cryo EM<br />
 +
**[[5m5i]], [[5m5l]], [[5m5m]], [[5m5n]], [[5m5o]] – KIF MD + tubulin + GDP + GTP + ANP + taxol – fission yeast – Cryo EM<br />
 +
**[[5mm4]], [[5mm7]] – UmKIF + tubulin + GDP + GTP + ANP + taxol – Ustilago maydis – Cryo EM<br />
-
*Kinesin-6
+
*KIF13A, KIF13B or kinesin-3
-
**[[5x3e]] - KLP MD - ''Caenorhabditis elegans''<br />
+
**[[2cow]] – hKIF13B CAP-gly domain – NMR<br />
 +
**[[3gbj]] – hKIF13B MD+ADP <br />
 +
**[[2cjo]] – hKIF13+inhibitor 30<br />
 +
**[[3fm8]] – hKIF13B FHA domain + centaurin-alpha-1<br />
 +
**[[3md8]] – hKIF13B FHA domain + centaurin-alpha-1 + IP4<br />
 +
**[[5djo]] – mKIF13A CC1-FHA domain <br />
 +
**[[5djn]] – mKIF13A coiled-coil domain (mutant)<br />
 +
**[[5b64]] – mKIF13B + MAGUK<br />
 +
**[[3kin]], [[2kin]] – rKIF MD <br />
 +
**[[6a1z]] – rKIF13B<br />
 +
**[[6a20]] – rKIF13B (mutant)<br />
 +
**[[5zbs]] – rKIF13B (mutant)<br />
 +
**[[5zbr]] – rKIF13B + AMPPNP<br />
-
*Kinesin-8
+
*KIF14 or kinesin-3
 +
 
 +
**[[1f9t]], [[1f9u]], [[1f9v]], [[1f9w]], [[3kar]] - yKar3 MD (mutant) – yeast<br />
 +
**[[4etp]] - yKar3 MD (mutant) + VIK1<br />
 +
 
 +
*KIF15 or kinesin-12
 +
 
 +
**[[4bn2]] – hKIF15 MD<br />
 +
 
 +
*KIF16B or kinesin-3
 +
 
 +
**[[2v14]] – hKIF16B<br />
 +
 
 +
*KIF18A, KIF18B or kinesin-8
**[[3lre]] - hKIF18A MD <br />
**[[3lre]] - hKIF18A MD <br />
Line 134: Line 135:
**[[5ogc]] - hKIF18A MD + tubulin + GTP + GDP + taxol<br />
**[[5ogc]] - hKIF18A MD + tubulin + GTP + GDP + taxol<br />
-
*Kinesin-14
+
*KIF19A or kinesin-8
-
**[[3l1c]] – DmNCD (mutant)
+
**[[5gsy]] – mKIF19A MD + GDP<br />
-
**[[1f9t]], [[1f9u]], [[1f9v]], [[1f9w]], [[3kar]] - yKar3 MD (mutant) - yeast<br />
+
**[[5gsz]] – mKIF19A MD + ADP<br />
-
**[[4etp]] - yKar3 MD (mutant) + VIK1<br />
+
 +
*KIF20A, KIF20B or kinesin-6
 +
 +
**[[5nd3]] – mKIF20A MD + tubulin <br />
 +
**[[5nd2]], [[5nd4]] – mKIF20A MD + tubulin + ADP <br />
 +
**[[5nd7]] – mKIF20A MD + tubulin + AMPPNP <br />
 +
**[[5lef]] – mKIF20A residues 603-665 + RAB-6 <br />
 +
**[[5x3e]] - KLP MD - Caenorhabditis elegans<br />
 +
 +
*KIF21A, KIF21B or kinesin-4
 +
 +
**[[5d3a]] – hKIF21A coiled coil domain 938-1017 <br />
 +
 +
*KIF22 or kinesin-10
 +
 +
**[[2edu]] – hKIF22 C-terminal – NMR<br />
 +
**[[3bfn]] – hKIF22 MD<br />
 +
**[[6nje]] – hKIF22 MD +ADP<br />
 +
 +
*KIF23 or kinesin-6
 +
 +
**[[3vhx]] – hKIF23 794-911 + ADP-ribosylation factor 6 <br />
 +
 +
 +
**[[2ncd]], [[1cz7]] – DmKIF MD non-claret disjuctional (NCD) dimer – ''Drosophila melanogaster'' <br />
 +
**[[2y5w]], [[2y65]] - DmKIF MD<br />
 +
**[[4pxt]], [[4pxu]] – DmKIF MD (mutant)<br />
 +
**[[1n6m]] – DmKIF MD+FNL<br />
 +
**[[3l1c]] – DmNCD (mutant)<br />
 +
**[[1ry6]] – KIF MD – ''Plasmodium falciparum''<br />
 +
**[[1goj]] – NcKIF MD<br />
 +
 +
*Kinesin light chain (KLC)
 +
 +
**[[5oj8]] – hKLC1 TPR domain <br />
 +
3edt – hKLC2
 +
3ceq, 3nf1 – hKLC2 TPR domain
 +
**[[6f9i]] – hKLC2 + clcytenin peptide <br />
 +
**[[6fv0]] – mKLC1 TPR domain + nanobody<br />
 +
**[[5ojf]] – mKLC2 TPR domain <br />
 +
**[[3zfw]], [[5fjy]], [[6ejn]] - mKLC2 TPR domain + peptide<br />
*KCBP
*KCBP
-
**[[3h4s]] – KCBP+ADP+Mg – ''Arabidopsis thaliana''<br />
+
**[[3h4s]] – KCBP+ADP+Mg – Arabidopsis thaliana<br />
*NOD
*NOD
-
**[[3dc4]] – DmNOD catalytic core domain+ADP<br />
+
**[[3dc4]] – DmNOD catalytic core domain+ADP + Mg<br />
-
**[[3dcb]] - DmNOD catalytic core domain+AMPPNP<br />
+
**[[3dcb]] - DmNOD catalytic core domain+AMPPNP + Mg<br />
-
**[[3dco]] - DmNOD catalytic core domain+ cTubulin A+cTubulin B<br />
+
**[[3dco]] - DmNOD catalytic core domain+ cTubulin + ADP + GDP + GTP + Mg<br />
 +
 
}}
}}
[[Category:Topic Page]]
[[Category:Topic Page]]

Revision as of 08:16, 13 October 2021

3D Structures of Kinesin

Updated on 13-October-2021

4b7b - hKIF11 (mutant) + ADP + Co + Cd
3ken, 2wog, 2x2r, 2xae, 4bbg - hKIF11 +S-trityl-L-cysteine derivative + ADP + Mg
2uyi, 2uym, 2gm1, 2pg2, 2fme, 2x7d, 2x7c, 2ieh, 3cjo, 2g1q, 2fl2, 2fl6, 1yrs, 2q2y, 2fky, 2q2z, 3k3b, 2x7e, 4a50, 4a51, 3zcw - hKIF11+inhibitor +ADP + Mg
4bxn, 4as7 - hKIF11+inhibitor +ADP + Cd
3l9h - hKIF11+inhibitor +ADP
1x88, 1q0b - hKIF11 +Mg + ADP+monastrol
4ap0, 4a5y - hKIF11 +MgADP + ispinesib + Mg
3hqd - hKIF11 +AMPPNP+Mg
1ii6, 4a1z, 4a28 - hKIF11 +ADP+Mg
3k5e - hKIF11 +ADP+enastrol + Mg
4aqv, 4aqw – hKIF11 (mutant) + tubulin + GDP + GTP + Mg – Cryo EM
4ck5, 4ck6, 4ck7 – hKIF11 (mutant) + tubulin + ADP + GDP + GTP + Mg – Cryo EM


3edt – hKLC2 3ceq, 3nf1 – hKLC2 TPR domain

Proteopedia Page Contributors and Editors (what is this?)

Michal Harel, Joel L. Sussman

Personal tools