Zobrazeno 1 - 10
of 188
pro vyhledávání: '"Paulson L"'
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.
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:
Nilsson, L.K., Linderholm, K.R., Engberg, G., Paulson, L., Blennow, K., Lindström, L.H., Nordin, C., Karanti, A., Persson, P., Erhardt, S.
Publikováno v:
In Schizophrenia Research 15 December 2005 80(2-3):315-322
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.
Publikováno v:
The Great Basin Naturalist, 1978 Jun . 38(2), 187-192.
Externí odkaz:
https://www.jstor.org/stable/41711629
Publikováno v:
Journal of Formalized Reasoning
Journal of Formalized Reasoning, 2016, 9 (1), pp.101-148. ⟨10.6092/issn.1972-5787/4593⟩
Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148. ⟨10.6092/issn.1972-5787/4593⟩
Journal of Formalized Reasoning, 9, 1, pp. 1-48
Journal of Formalized Reasoning, 9, 1-48
Journal of Formalized Reasoning, Vol 9, Iss 1, Pp 101-148 (2016)
Journal of Formalized Reasoning, 2016, 9 (1), pp.101-148. ⟨10.6092/issn.1972-5787/4593⟩
Journal of Formalized Reasoning, ASDD-AlmaDL, 2016, 9 (1), pp.101-148. ⟨10.6092/issn.1972-5787/4593⟩
Journal of Formalized Reasoning, 9, 1, pp. 1-48
Journal of Formalized Reasoning, 9, 1-48
Journal of Formalized Reasoning, Vol 9, Iss 1, Pp 101-148 (2016)
This paper surveys the emerging methods to automate reasoning over large libraries developed with formal proof assistants. We call these methods hammers. They give the authors of formal proofs a strong "one-stroke" tool for discharging difficult lemm
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2189a32faeb91c3dbda6d38e9481735b
https://inria.hal.science/hal-01386988/document
https://inria.hal.science/hal-01386988/document
