Note on the Benefit of Proof Representations by Name
From MaRDI portal
Publication:3305625
DOI10.1007/978-3-030-20447-1_4zbMath1469.03157OpenAlexW2981852497MaRDI QIDQ3305625
Publication date: 10 August 2020
Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-20447-1_4
Cites Work
This page was built for publication: Note on the Benefit of Proof Representations by Name