Search

You searched for: Auteur Sofronie-Stokkermans, Viorica Remove constraint Auteur: Sofronie-Stokkermans, Viorica
1 - 4 of 4
Number of results to display per page

Search Results

1. Automated Reasoning
thumbnail
Full text!
Author:
Peltier; Sofronie-Stokkermans, Viorica
Publisher:
Springer International Publishing 2020
Format:
e-book
2. Automated Reasoning
thumbnail
Full text!
Author:
Peltier; Sofronie-Stokkermans, Viorica
Publisher:
Springer International Publishing 2020
Format:
e-book
3. Automated Deduction – CADE-23
thumbnail
Full text!
Author:
Bjørner, Nikolaj; Kanade, Takeo; Sofronie-Stokkermans, Viorica
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
4. Frontiers of Combining Systems
thumbnail
Full text!
Author:
Tinelli, Cesare; Kanade, Takeo; Sofronie-Stokkermans, Viorica; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book