Automated Deduction - CADE-22

Automated Deduction - CADE-22

Automated Deduction - CADE-22
2009520 psl.ISBN 9783642029585
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra