Zoeken

U zocht naar: Auteur Sofronie-Stokkermans, Viorica Filter Auteur: Sofronie-Stokkermans, Viorica weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

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