Portada

Automated Theorem Proving

SPRINGER VERLAG
01 / 1987
9783528185206
978-35-2818-520-6
Inglés
Künstliche Intelligenz
Ingles
Espana