Portada

First-Order Logic and Automated Theorem Proving

SPRINGER
06 / 2013
9781461275152
Inglés
Texts in Computer Science
ESPAÑA
Ingles
PVP
93,59