Resolution Proof Systems
STACHNIAK, Z.
Inglés
EAN
9789401072519
Editorial
Año de edición
2011
Idioma
Inglés
Colección
Automated Reasoning Series
Alto
240
Ancho
160
Otros lectores lo han calificado con
Déjanos tu opinión
0 opiniones
Tu puntuación
Déjanos tu opinión
/ caracteres