|
|

avaa valikko

Cesare Tinelli | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011.
Tinelli, Cesare; Sofronie-Stokkermans, Viorica
Springer
2011
Pehmeäkantinen kirja
Frontiers of Combining Systems : 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011.
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part
Baier, Christel; Tinelli, Cesare
Springer
2015
Pehmeäkantinen kirja
Tools and Algorithms for the Construction and Analysis of Systems : 21st International Conference, TACAS 2015, Held as Part
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Lutz, Carsten; Sattler, Uli; Tinelli, Cesare; Turhan, Anni-Yasmin; Wolter, Frank
Springer Nature Switzerland AG
2019
Pehmeäkantinen kirja
Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Pientka, Brigitte; Tinelli, Cesare
Springer International Publishing AG
2023
Pehmeäkantinen kirja
Automated Deduction – CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
41,20 €