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