Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Hansen, Christian Mahesh"'
Autor:
Cameron, David B., Skogvang, Arnljot, Fekete, Mihaly, Martinsson, Henrik, Strand, Morten, Castro, Marcel, Helle, Kirsten, Gjerver, Anders, Hansen, Christian Mahesh, Johnsen, Kristin Høines
Publikováno v:
In Digital Chemical Engineering March 2022 2
Autor:
Hansen, Christian Mahesh
Publikováno v:
Hansen, Christian Mahesh. Incremental Proof Search in the Splitting Calculus. Hovedoppgave, University of Oslo, 2004
Externí odkaz:
http://hdl.handle.net/10852/9221
https://www.duo.uio.no/bitstream/handle/10852/9221/1/CMH_MSc_color.pdf
https://www.duo.uio.no/bitstream/handle/10852/9221/1/CMH_MSc_color.pdf
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.