Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Albert Steckermeier"'
Autor:
Mathias Fleury, Sascha Böhme, Steffen Smolka, Jasmin Christian Blanchette, Albert Steckermeier
Publikováno v:
Journal of Automated Reasoning
Journal of Automated Reasoning, Springer Verlag, 2016, ⟨10.1007/s10817-015-9335-3⟩
Journal of Automated Reasoning, 2016, ⟨10.1007/s10817-015-9335-3⟩
Journal of Automated Reasoning, Springer Verlag, 2016, ⟨10.1007/s10817-015-9335-3⟩
Journal of Automated Reasoning, 2016, ⟨10.1007/s10817-015-9335-3⟩
International audience; Sledgehammer is a component of the Isabelle/HOL proof assistant that integrates external automatic theorem provers (ATPs) to discharge interactive proof obligations. As a safeguard against bugs, the proofs found by the externa
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a313303b9bebaf8670ad0525bdd51120
https://hal.inria.fr/hal-01211748
https://hal.inria.fr/hal-01211748
Publikováno v:
Journal of Automated Reasoning; Feb2016, Vol. 56 Issue 2, p155-200, 46p
Autor:
Moreira, Olga
“The Use of Abstraction and Logic in Mathematics” is an edited book consisting of 16 contemporaneous open-access articles that are essentially devoted to mathematical logic research, from classical to non-classical logical systems, from algebraic
Software is an essential enabler for science and the new economy. It creates new markets and directions for a more reliable, flexible and robust society and empowers the exploration of our world in ever more depth, but it often falls short of our exp