Takayama, Y. (1987). QPC, QJ-based proof compiler, simple examples and analysis.
Chicago-Zitierstil (17. Ausg.)Takayama, Yukihide. QPC, QJ-based Proof Compiler, Simple Examples and Analysis. Tokyo, Japan, 1987.
MLA-Zitierstil (9. Ausg.)Takayama, Yukihide. QPC, QJ-based Proof Compiler, Simple Examples and Analysis. 1987.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.