Nevins, A. J. (1972). A human oriented logic for automatic theorem proving. Artificial Intelligence Lab.
Chicago-Zitierstil (17. Ausg.)Nevins, Arthur J. A Human Oriented Logic for Automatic Theorem Proving. Cambridge, Mass: Artificial Intelligence Lab, 1972.
MLA-Zitierstil (9. Ausg.)Nevins, Arthur J. A Human Oriented Logic for Automatic Theorem Proving. Artificial Intelligence Lab, 1972.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.