Cesta
0
Login
El artículo ha sido añadido
Introduction to logic and automated theorem proving
Harrison, J.
0,00 €(IVA inc.)
Detalles del libro
ISBN:
Editorial:
Cambridge University
Encuadernacion:
Desconocida
Fecha Publicación:
01/06/2008
Nº Volúmenes:
1
Idioma:
Inglés
Inicio
/
MATEMÁTICAS
/
MATEMÁTICAS (GENERAL)