Nicolas Peltier

Identifiers

Open LibraryOL3257933A

Top Subjects

Architectural models (1)
Artificial intelligence (1)
Computer programming (1)
Computer software, development (1)
Logic, symbolic and mathematical (1)

Books by Nicolas Peltier

Total count: 2

Automated Model Building

Springer London, Limited2004-01-01
Automated Reasoning10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part II

Springer2020-01-01