Renate A. Schmidt

Renate A. Schmidt

Automated Reasoning

Lecture Notes in Computer Science, nr. 14739

Editat de Christoph Benzmüller et al.

2 iul 2024

Preț: 295^.84 lei 369^.80 lei

38-44 zile

-20%

Automated Reasoning with Analytic Tableaux and Related Methods

Lecture Notes in Computer Science, nr. 10501

Editat de Renate A. Schmidt et al.

31 aug 2017

Preț: 409^.37 lei 511^.71 lei

6-8 săpt.

-20%