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

2009356 psl.ISBN 9783642027154

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)