Viorica Sofronie-Stokkermans

Books that list Viorica Sofronie-Stokkermans among their authors but not as the lead author: co-written works, collections and compilations.

Automated ReasoningNicolas Peltier

Automated Reasoning

Nicolas Peltier · 2020

Automated Deduction -- CADE-23Nikolaj Bjørner

Automated Deduction -- CADE-23

Nikolaj Bjørner · 2011

Frontiers of Combining SystemsCesare Tinelli

Frontiers of Combining Systems

Cesare Tinelli · 2011