Automated Deduction - CADE-22

Siūlomos Ieškomos Įvykę mainai Pagalba

Automated Deduction - CADE-22

Leidėjas: Springer Berlin Heidelberg

2009520 psl.ISBN 9783642029585

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)