Melham, T. (1994). Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag.
Citação do estilo Chicago (17ª ed.)Melham, T. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag, 1994.
Citação MLA (9ª ed.)Melham, T. Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: Valletta‚ Malta‚ September 19–22‚ 1994: Proceedings. Springer−Verlag, 1994.
Nota: a formatação da citação pode não corresponder 100% ao definido pela respectiva norma.