Zoeken

U zocht naar: Auteur Tinelli, Cesare Filter Auteur: Tinelli, Cesare weghalen Taal Engels Filter Taal: Engels weghalen
1 - 4 van 4
Aantal zoekresultaten per pagina

Zoekresultaten

1. Tools and Algorithms for the Construction and Analysis of Systems
thumbnail
Full text!
Auteur:
Baier; Tinelli, Cesare
Uitgever:
Springer Berlin Heidelberg 2015
Type:
e-book
2. Automated Deduction - CADE 29 : 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
thumbnail
Full text!
Auteur:
Pientka, Brigitte.; Tinelli, Cesare
Uitgever:
Cham Springer International Publishing AG 2023
Type:
e-book
3. 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
4. Description Logic, Theory Combination, and All That
thumbnail
Full text!
Auteur:
Lutz; Sattler, Uli; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank
Uitgever:
Springer International Publishing 2019
Type:
e-book