Bortin, M. (2010). An approach to the extension of a theorem prover by advanced structuring mechanisms. Logos.
Chicago-Zitierstil (17. Ausg.)Bortin, Maksym. An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms. Berlin: Logos, 2010.
MLA-Zitierstil (9. Ausg.)Bortin, Maksym. An Approach to the Extension of a Theorem Prover by Advanced Structuring Mechanisms. Logos, 2010.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.