Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Jannik, Tim"'
Autor:
Wu, Chieh-Ming, Adetona, Olorunfemi, Naeher, Luke, Viner, Brian J., Jannik, Tim, Hepworth, Allan, Doman, Eric, Eddy, Teresa
Publikováno v:
In Journal of Environmental Radioactivity December 2018 192:604-620
Autor:
Viner, Brian J., Jannik, Tim, Hepworth, Allan, Adetona, Olorunfemi, Naeher, Luke, Eddy, Teresa, Doman, Eric, Blake, John
Publikováno v:
In Journal of Environmental Radioactivity February 2018 182:1-11
Publikováno v:
In Journal of Environmental Radioactivity September 2014 135:113-119
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.
Autor:
Vierling, Jannik Tim
In 2013 Kersani and Peltier introduced the n-clause calculus, a superposition calculus enriched with a cycle detection rule realizing a form of reasoning by mathematical induction. Until now it is not known which form of induction is captured by the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::81357e45d52cd16fb480937d169a0af8
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.
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.