Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Aitken, Dave"'
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:
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.
Autor:
AITKEN, DAVE
Publikováno v:
Back Street Heroes; Oct2018, Issue 414, p34-38, 5p, 9 Color Photographs
Autor:
Aitken, Dave, Oken, Alan, Carson, Ed, Greenhalgh, Alan J., Heard, Douglas, Peyton, Ron, Perri, Dennis, Bruch, Keith, Sugarman, David, Agata, Richard, Giannini, Rollo J.
Publikováno v:
Baseball Digest; May/Jun2011, Vol. 70 Issue 3, p6-12, 6p