Cohen, D. N. (1981). Knowledge based theorem proving and learning. UMI Research Press.
Chicago-Zitierstil (17. Ausg.)Cohen, Donald N. Knowledge Based Theorem Proving and Learning. Ann Arbor, Mich: UMI Research Press, 1981.
MLA-Zitierstil (9. Ausg.)Cohen, Donald N. Knowledge Based Theorem Proving and Learning. UMI Research Press, 1981.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.