Zobrazeno 1 - 10
of 124
pro vyhledávání: '"Limperg, P."'
Autor:
Limperg, Jannis
In theorem provers based on dependent type theory such as Coq and Lean, induction is a fundamental proof method and induction tactics are omnipresent in proof scripts. Yet the ergonomics of existing induction tactics are not ideal: they do not reliab
Externí odkaz:
http://arxiv.org/abs/2012.08990
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:
Limperg, P. F., Haverman, L., Maurice-Stam, H., Coppens, M., Valk, C., Kruip, M. J. H. A., Eikenboom, J., Peters, M., Grootenhuis, M. A.
Publikováno v:
Quality of Life Research, 2018 Jan 01. 27(1), 159-171.
Externí odkaz:
https://www.jstor.org/stable/44856083
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.
Autor:
Limperg, P. F.1, Joosten, M. M. H.1, Grootenhuis, M. A.1, Haverman, L.1, Fijnvandraat, K.2, Peters, M.2
Publikováno v:
Haemophilia. May2018, Vol. 24 Issue 3, p395-404. 10p. 3 Charts.
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.
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:
Limperg, P.1, Peters, M.2, Gibbons, E.3, Coppens, M.4, Valk, C.4, Grootenhuis, M.1, Haverman, L.1
Publikováno v:
Haemophilia. Jul2016, Vol. 22 Issue 4, pe330-e333. 4p.