International Conference on Automated Deduction & Shostak, R. (1984). Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: Proceedings. Springer-Verlag.
Chicago Style (17th ed.) CitationInternational Conference on Automated Deduction and Robert Shostak. Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: Proceedings. Berlin ; New York: Springer-Verlag, 1984.
MLA (8th ed.) CitationInternational Conference on Automated Deduction and Robert Shostak. Seventh International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: Proceedings. Springer-Verlag, 1984.
Warning: These citations may not always be 100% accurate.