Search

You searched for: Auteur Tinelli, Cesare Remove constraint Auteur: Tinelli, Cesare
1 - 4 of 4
Number of results to display per page

Search Results

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