Resolution Proof Systems
STACHNIAK, Z.
Anglais
EAN
9789401072519
Éditorial
Année d'édition
2011
langage
Anglais
Collection
Automated Reasoning Series
Haute
240
Largeur
160
Otros lectores lo han calificado con
Laisse-nous ton avis
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres