Melham, T. F., & Camilleri, J. (1994). Higher order logic theorem proving and its applications: 7th international workshop, Valletta, Malta, September 19-22, 1994 : proceedings. Springer-Verlag.
Citación estilo ChicagoMelham, T. F., and Juanito Camilleri. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings. Berlin ; New York: Springer-Verlag, 1994.
Cita MLAMelham, T. F., and Juanito Camilleri. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings. Springer-Verlag, 1994.
Warning: These citations may not always be 100% accurate.