Pengarang: Cesare Tinelli

Sokongan

3 Ebooks by Cesare Tinelli

Cesare Tinelli & Viorica Sofronie-Stokkermans: Frontiers of Combining Systems
This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, Fro Co S 2011, held in Saarbrücken, Germany, in October 2011. The 15 revised full …
PDF
Inggeris
DRM
€51.16
Christel Baier & Cesare Tinelli: Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015, which took place in London, UK, in April 2 …
PDF
Inggeris
DRM
€57.89
Carsten Lutz & Uli Sattler: Description Logic, Theory Combination, and All That
This Festschrift has been put together on the occasion of Franz Baader’s 60th birthday to celebrate his fundamental and highly influential scientific contributions. The 30 papers in this volume cover …
EPUB
Inggeris
DRM
€57.99