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