Pirotte, A. (1973). Automatic Theorem Proving based on resolution. Pergamon Pr.
Chicago-Zitierstil (17. Ausg.)Pirotte, A. Automatic Theorem Proving Based on Resolution. Oxford u.a: Pergamon Pr, 1973.
MLA-Zitierstil (9. Ausg.)Pirotte, A. Automatic Theorem Proving Based on Resolution. Pergamon Pr, 1973.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.