Author

Nicolas Peltier

2 books found

Cover of Automated Reasoning

Automated Reasoning

Nicolas Peltier, Viorica Sofronie-Stokkermans · First published 2020

Cover of Automated Model Building

Automated Model Building

Ricardo Caferra, Alexander Leitsch, Nicolas Peltier · First published 2004