Cita APA

Arkoudas, K., & Musser, D. R. (2017). Fundamental proof methods in computer science: A computer-based approach. MIT Press.

Citación estilo Chicago

Arkoudas, Konstantine, and David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. Cambridge, MA: MIT Press, 2017.

Cita MLA

Arkoudas, Konstantine, and David R. Musser. Fundamental Proof Methods in Computer Science: A Computer-based Approach. MIT Press, 2017.