Cristin-person-ID: 1618490
Person

Ethan Erich Brauer

  • Stilling:
    Postdoktor
    ved Institutt for filosofi, idé- og kunsthistorie og klassiske språk ved Universitetet i Oslo

Resultater Resultater

Coarsening Natural Deduction Proofs I: Finding Perfect Proofs.

Brauer, Ethan Erich. 2024, Journal of Logic and Computation. UIOVitenskapelig artikkel
1 - 1 av 1