International Conference on Automated Deduction Napa, Calif, & Shostak, R. (1984). 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: Proceedings. Springer-Verlag.
Chicago-Zitierstil (17. Ausg.)International Conference on Automated Deduction Napa, Calif, und Robert Shostak. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: Proceedings. Berlin ; New York: Springer-Verlag, 1984.
MLA-Zitierstil (8. Ausg.)International Conference on Automated Deduction Napa, Calif, und Robert Shostak. 7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: Proceedings. Springer-Verlag, 1984.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.