Wernhard, C. (2026). Generating Theorems by Generating Proof Structures.
Cita Chicago Style (17a ed.)Wernhard, Christoph. Generating Theorems by Generating Proof Structures. 2026.
Cita MLA (9a ed.)Wernhard, Christoph. Generating Theorems by Generating Proof Structures. 2026.
Precaución: Estas citas no son 100% exactas.