Logic for Computer Science: Foundations of Automatic Theorem Proving
por Jean H. Gallier · 1986
Sinopsis
Un texto que cubre los fundamentos de la lógica matemática relevante para la informática, con un enfoque en la demostración automática de teoremas.
Sé el primero en valorar este libro.
Más de Jean H. Gallier
Ver autor →Otras obras del mismo autor en el catálogo
An Introduction to the Mathematics of Computer Graphics
1990
Geometric Tools for Computer Graphics
2002
The Foundations of Computer Graphics and Visualization
2004
sin portada
Practical Geometry for Computer Graphics
2007
sin portada
Mathematical Methods in Computer Graphics and Visualization
2008
Computational Geometry: Algorithms and Applications
2009
Libros similares
Libros relacionados según distintos criterios de búsqueda