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 Berlin Heidelberg

2013300 psl.ISBN 9783642405365

Viršelis: MinkštasAnglų k.

Negrožinė literatūra Literatūra užsienio kalbomis Kompiuterija ir informacinės technologijos

Šią knygą siūlo (0)

Šios knygos nori (0)