APA引文

Schubert, E. T., Windley, P. J., & Alves-Foss, J. (1995). Higher order logic theorem proving and its applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings. Springer-Verlag.

Chicago Style (17th ed.) Citation

Schubert, E. Thomas, Phillip J. Windley, and James Alves-Foss. Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : Proceedings. Berlin: Springer-Verlag, 1995.

MLA引文

Schubert, E. Thomas, et al. Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : Proceedings. Springer-Verlag, 1995.