Ohtani, T., Sawamura, H., & Minami, T. (1993). Implementing Constructive Type Theory on EUODHILOS. Inst. for Social Information Science.
Chicago-Zitierstil (17. Ausg.)Ohtani, Takeshi, Hajime Sawamura, und Toshiro Minami. Implementing Constructive Type Theory on EUODHILOS. Numazu [u.a.]: Inst. for Social Information Science, 1993.
MLA-Zitierstil (9. Ausg.)Ohtani, Takeshi, et al. Implementing Constructive Type Theory on EUODHILOS. Inst. for Social Information Science, 1993.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.