Cita APA

Mas Rovira, J. (2018). Automatic inductive equational reasoning.

Citación estilo Chicago

Mas Rovira, Jan. Automatic Inductive Equational Reasoning. 2018.

Cita MLA

Mas Rovira, Jan. Automatic Inductive Equational Reasoning. 2018.

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