Minami, T. (1986). A theorem prover based on connection graph and its implementation by Prol.
Chicago-Zitierstil (17. Ausg.)Minami, Toshiro. A Theorem Prover Based on Connection Graph and Its Implementation by Prol. Tokyo, Japan, 1986.
MLA-Zitierstil (9. Ausg.)Minami, Toshiro. A Theorem Prover Based on Connection Graph and Its Implementation by Prol. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.