Cita APA

(2013). Automated reasoning and mathematics: Essays in memory of William W. McCune.

Citación estilo Chicago

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. 2013.

Cita MLA

Automated Reasoning and Mathematics: Essays in Memory of William W. McCune. 2013.

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