Skip to main content
main-content

Zeitschrift

Journal of Automated Reasoning

Journal of Automated Reasoning 1/2015

Ausgabe 1/2015

Inhaltsverzeichnis ( 4 Artikel )

01.01.2015 | Ausgabe 1/2015

Formally Verified Certificate Checkers for Hardest-to-Round Computation

Érik Martin-Dorel, Guillaume Hanrot, Micaela Mayero, Laurent Théry

01.01.2015 | Ausgabe 1/2015

Automated Planning as an Early Verification Tool for Distributed Control

Kamalesh Ghosh, Pallab Dasgupta, S. Ramesh

01.01.2015 | Ausgabe 1/2015

On Interpolation in Automated Theorem Proving

Maria Paola Bonacina, Moa Johansson

01.01.2015 | Erratum | Ausgabe 1/2015

Erratum to : Learning-Assisted Automated Reasoning with Flyspeck

Cezary Kaliszyk, Josef Urban

Aktuelle Ausgaben

Premium Partner

    Bildnachweise