Cesare Tinelli – författare
Visar alla böcker från författaren Cesare Tinelli. Handla med fri frakt och snabb leverans.
7 produkter
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Av Carsten Lutz, Uli Sattler m. fl.
Häftad, 2019
548 kr
Lägg i varukorg
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 several scientific areas that Franz Baader has been working on during the last three decades, …
Description Logic, Theory Combination, and All That
Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Av Frank Wolter, Anni-Yasmin Turhan m. fl.
E-bok, 2019
718 kr
Lägg i varukorg
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 several scientific areas that Franz Baader has been working on during the last three decades, …
Automated Deduction – CADE 29
29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Av Brigitte Pientka, Cesare Tinelli
Häftad, 2023
453 kr
Lägg i varukorg
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major …
Frontiers of Combining Systems
8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Av Cesare Tinelli, Viorica Sofronie-Stokkermans
Häftad, 2011
564 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011.The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 …
Frontiers of Combining Systems
8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Av Viorica Sofronie-Stokkermans, Cesare Tinelli
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCoS 2011, held in Saarbrücken, Germany, in October 2011.The 15 revised full papers presented together with three invited papers were carefully reviewed and selected from 22 …
Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Av Christel Baier, Cesare Tinelli
Häftad, 2015
566 kr
Lägg i varukorg
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 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The …
Tools and Algorithms for the Construction and Analysis of Systems
21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings
Av Cesare Tinelli, Christel Baier
E-bok, 2015
755 kr
Lägg i varukorg
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 2015, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015. The …
