Logic for Programming and Automated Reasoning

Logic for Programming and Automated Reasoning

Logic for Programming and Automated Reasoning
2000508 psl.ISBN 9783540412854
Viršelis: KietasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisFiziniai ir technologijos mokslaiStatyba, inžinerija
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra