Info
Meny
English
Logg inn
Søk etter prosjekter, resultater og personer
Søk etter prosjekter, resultater og personer
Cristin-person-ID:
1618490
Person
Ethan Erich Brauer
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. UIO
Vitenskapelig artikkel
1
-
1
av
1