Cita APA

Díaz Caro, A., & Dowek, G. (2019). Proof Normalisation in a Logic Identifying Isomorphic Propositions. Web

Citación estilo Chicago

Díaz Caro, Alejandro, and Gilles Dowek. Proof Normalisation in a Logic Identifying Isomorphic Propositions. 2019.

Cita MLA

Díaz Caro, Alejandro, and Gilles Dowek. Proof Normalisation in a Logic Identifying Isomorphic Propositions. 2019.

Precaución: Estas citas no son 100% exactas.