MPG.eBooks - Author Search Results

Cover Image

1

Automated Model Building

by Caferra, Ricardo, Leitsch, Alexander, Peltier, Nicolas
Published 2004

Springer Netherlands

Cover Image

2

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part II

Published 2020

Springer International Publishing

Other Authors: “...Peltier, Nicolas...”

Cover Image

3

Automated Reasoning : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 2020, Proceedings, Part I

Published 2020

Springer International Publishing

Other Authors: “...Peltier, Nicolas...”