HOL User's Group Workshop, Joyce, J. J., & Seger, C. H. (1994). Higher order logic theorem proving and its applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : proceedings. Springer-Verlag.
Citación estilo ChicagoHOL User's Group Workshop, Jeffrey J. Joyce, and Carl-Johan H. Seger. Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.
Cita MLAHOL User's Group Workshop, Jeffrey J. Joyce, and Carl-Johan H. Seger. Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.