Skip to main content
Registrieren
Springer Professional
SUCHE
MENÜ 1 2 3 4
nach oben

Zeitschrift

Journal of Automated Reasoning 2/2022
Journal of Automated Reasoning

Ausgabe 2/2022

share
TEILEN
insite
SUCHEN

Inhaltsverzeichnis (3 Artikel)

23.11.2021

A Coq Formalization of Lebesgue Integration of Nonnegative Functions
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero

30.01.2022

A Bi-Directional Extensible Interface Between Lean and Mathematica
Robert Y. Lewis, Minchao Wu

23.02.2022

Analyzing Read-Once Cutting Plane Proofs in Horn Systems
Piotr Wojciechowski, K. Subramani, R. Chandrasekaran

Aktuelle Ausgaben

Ausgabe 1/2023

Ausgabe 4/2022

Ausgabe 3/2022

Ausgabe 2/2022

Ausgabe 1/2022

Ausgabe 8/2021

Ausgabe 7/2021

Ausgabe 6/2021

Ausgabe 5/2021

Ausgabe 4/2021

Premium Partner