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ț: 401.15 lei 501.44 lei
6-8 săpt.
-20%
Cărți de Cesare Tinelli
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ț: 303.68 lei 379.61 lei
38-44 zile
-20%
Tools and Algorithms for the Construction and Analysis of Systems
Editat de Christel Baier et al.
8 apr 2015
Paperback
Preț: 343.86 lei 429.81 lei
6-8 săpt.
-20%
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ț: 337.81 lei 422.26 lei
6-8 săpt.
-20%