Portada

First-Order Logic and Automated Theorem Proving

SPRINGER
06 / 2013
9781461275152
978-14-6127-515-2
Inglés
Texts in Computer Science
ESPAÑA
Ingles