Portada

Automated Theorem Proving

SPRINGER VERLAG
01 / 1987
9783528185206
Inglés
Künstliche Intelligenz
Ingles
PVP
103,99