Automated Deduction CADE-13

Automated Deduction CADE-13

Automated Deduction CADE-13
1996ISBN 9783540615118
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra