Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
Editat de Brigitte Pientka et al.
3 sep 2023
Paperback
Preț: 280.55 lei 350.69 lei
38-44 zile
-20%
Cărți de Cesare Tinelli
Description Logic, Theory Combination, and All That: Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday
Editat de Carsten Lutz et al.
iun 2019
Paperback
Preț: 345.30 lei 431.62 lei
43-57 zile
-20%
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
Editat de Christel Baier et al.
8 apr 2015
Paperback
Preț: 348.55 lei 435.69 lei
43-57 zile
-20%
Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings
Editat de Cesare Tinelli et al.
23 sep 2011
Paperback
Preț: 410.11 lei 512.64 lei
43-57 zile
-20%