Automated Deduction in Classical and Non-Classical Logics

Automated Deduction in Classical and Non-Classical Logics

Automated Deduction in Classical and Non-Classical Logics
2000312 psl.ISBN 9783540671909
Viršelis: MinkštasAnglų k.
Negrožinė literatūraLiteratūra užsienio kalbomisKompiuterija ir informacinės technologijos
Pradinis
Krepšelis
Pokalbiai
Pranešimai
Paskyra