Nilsson, N. J. (1977). A production system for automatic deduction.
Chicago-Zitierstil (17. Ausg.)Nilsson, Nils J. A Production System for Automatic Deduction. Stanford, Calif, 1977.
MLA-Zitierstil (9. Ausg.)Nilsson, Nils J. A Production System for Automatic Deduction. 1977.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.