Skip to content
Vinony

Automated Model Building

by Ricardo Caferra, Alexander Leitsch, Nicolas Peltier

Cover of Automated Model Building

No description available.

Architectural modelsAutomatic theorem provingApplied logic series
Automated Model Building by Ricardo Caferra, Alexander Leitsch, Nicolas Peltier — book · Vinony