APA (7th ed.) Citation

Puccetti, A. e., & service), S. (. (1991). The Programming and Proof System ATES [electronic resource]: Advanced Techniques Integration into Efficient Scientific Software. Berlin, Heidelberg : Springer Berlin Heidelberg.

Chicago Style (17th ed.) Citation

Puccetti, Armand. editor., and SpringerLink (Online service). The Programming and Proof System ATES [electronic Resource]: Advanced Techniques Integration into Efficient Scientific Software. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991.

MLA (8th ed.) Citation

Puccetti, Armand. editor., and SpringerLink (Online service). The Programming and Proof System ATES [electronic Resource]: Advanced Techniques Integration into Efficient Scientific Software. Berlin, Heidelberg : Springer Berlin Heidelberg, 1991.

IICA/CATIE Citation

Puccetti, A. e., ; service), S. (. 1991. The Programming and Proof System ATES [electronic resource]: Advanced Techniques Integration into Efficient Scientific Software. Berlin, Heidelberg : Springer Berlin Heidelberg.