Cărți de Cesare Tinelli

Automated Deduction - CADE 29

Lecture Notes in Computer Science, nr. 14132

Editat de Brigitte Pientka et al.

3 sep 2023

Preț: 318^.00 lei 397^.50 lei

38-44 zile

-20%

Frontiers of Combining Systems: 8th International Symposium, FroCoS 2011, Saarbrücken, Germany, October 5-7, 2011. Proceedings

Lecture Notes in Computer Science, nr. 6989

Editat de Cesare Tinelli et al.

23 sep 2011

Preț: 401^.15 lei 501^.44 lei

6-8 săpt.

-20%

Description Logic, Theory Combination, and All That

Lecture Notes in Computer Science, nr. 11560

Editat de Carsten Lutz et al.

iun 2019

Preț: 355^.04 lei 443^.81 lei

6-8 săpt.

-20%

Tools and Algorithms for the Construction and Analysis of Systems

Editat de Christel Baier et al.

8 apr 2015

Preț: 358^.70 lei 448^.37 lei

6-8 săpt.

-20%