Leonardo de Moura

Leonardo de Moura

1 ספרים במאגר

ספרים

Automated Deduction – CADE 26Leonardo de Moura

Automated Deduction – CADE 26

Leonardo de Moura · 2017

ספרים משותפים ואוספים

ספרים שבהם Leonardo de Moura מופיע/ה ברשימת המחברים, לא כמחבר/ת הראשי/ת: ספרים משותפים, אוספים וסיכומים.

Formal Methods : Foundations and ApplicationsJuliano Iyoda

Formal Methods : Foundations and Applications

Juliano Iyoda · 2013

Intelligent Computer MathematicsMichael Kohlhase

Intelligent Computer Mathematics

Michael Kohlhase · 2020