Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Mometto, Nicola"'
Autor:
Passmore, Grant Olney, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola
We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-Moore family like ACL2, and interactive proof assistants for typed high
Externí odkaz:
http://arxiv.org/abs/2004.10263
Autor:
Immovilli, Paolo, Marchesi, Elena, Terracciano, Chiara, Morelli, Nicola, Bazzurri, Veronica, Magnifico, Fabiola, Zaino, Domenica, Terlizzi, Emilio, De Mitri, Paola, Vollaro, Stefano, Mometto, Nicola, Guidetti, Donata
Publikováno v:
In Journal of Stroke and Cerebrovascular Diseases November 2022 31(11)
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:
Mometto, Nicola, Spallazzi, Marco, Bartoletti-Stella, Anna, Baiardi, Simone, Liguori, Rocco, Parchi, Piero, Caffarra, Paolo, Capellari, Sabina
Publikováno v:
In Journal of the Neurological Sciences October 2021 429 Supplement
Autor:
Vacchiano, Veria, Mometto, Nicola, Bartoletti-Stella, Anna, Rizzo, Giovanni, Abu-Rumeileh, Samir, Salvi, Fabrizio, Parchi, Piero, Liguori, Rocco, Capellari, Sabina
Publikováno v:
In Journal of the Neurological Sciences 15 July 2021 426
Autor:
Immovilli, Paolo, Rota, Eugenia †, Terracciano, Chiara, Morelli, Nicola ‡, Marchesi, Elena, Zaino, Domenica, Mometto, Nicola, Guidetti, Donata
Publikováno v:
In Journal of Stroke and Cerebrovascular Diseases April 2021 30(4)
Autor:
Passmore, Grant, Cruanes, Simon, Ignatovich, Denis, Aitken, Dave, Bray, Matt, Kagan, Elijah, Kanishev, Kostya, Maclean, Ewen, Mometto, Nicola
Publikováno v:
Automated Reasoning
We describe Imandra, a modern computational logic theorem prover designed to bridge the gap between decision procedures such as SMT, semi-automatic inductive provers of the Boyer-Moore family like ACL2, and interactive proof assistants for typed high
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4c082a4eae987872edb54930d9eb4eb1
http://arxiv.org/abs/2004.10263
http://arxiv.org/abs/2004.10263
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:
Engelborghs, Sebastiaan, Abu-Rumeileh, Samir, Mometto, Nicola, Cortelli, Pietro, Liguori, Rocco, Capellari, Sabina, Bartoletti-Stella, Anna, Polischi, Barbara, Oppi, Federico, Poda, Roberto, Stanzani-Maserati, Michelangelo, Parchi, Piero
Publikováno v:
Journal of Alzheimer's Disease; 2018, Vol. 66 Issue 2, p551-563, 13p