VISOMS MAINOMOMS KNYGOMS –50%! ☃️ Nuolaida taikoma krepšelyje iki gruodžio 31 d.

Automated Reasoning with Analytic Tableaux and Related Methods

Siūlomos Ieškomos Įvykę mainai Pagalba

Automated Reasoning with Analytic Tableaux and Related Methods

Leidėjas: Springer-Verlag GmbH

2015ISBN 9783319243115

Viršelis: MinkštasAnglų k.

Negrožinė literatūra Literatūra užsienio kalbomis Fiziniai ir technologijos mokslai Statyba, inžinerija

Šią knygą siūlo (0)

Šios knygos nori (0)