Automated Theorem Proving
Categoría:
Literatura en inglés
Ficha técnica
Edición
Softcover reprint of the original 1st ed. 2001(24/05/2013)
Páginas
231
Idioma
Inglés
ISBN
9781461265191
ISBN-10
1461265193
Opiniones
Si quieres dejar opinión
inicia sesión
o
regístrate.
Todavía no hay opiniones sobre este libro.
