Renate A. Schmidt

Renate A. Schmidt

Automated Reasoning

Lecture Notes in Computer Science

Editat de Christoph Benzmüller et al.

2 iul 2024

Preț: 295^.75 lei 369^.69 lei

38-44 zile

-20%

Automated Reasoning with Analytic Tableaux and Related Methods: 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings

Lecture Notes in Computer Science, nr. 10501

Editat de Renate A. Schmidt et al.

31 aug 2017

Preț: 406^.54 lei 508^.17 lei

6-8 săpt.

-20%