Logic for Computer Science: Foundations of Automatic Theorem Proving
por Jean H. Gallier · 1986
Ver sugerenciasdivulgacionlogica computacionaldemostracion automatica de teoremasinteligencia artificialciencia de la computacion
Sinopsis
Un texto avanzado que cubre la lógica de primer orden con un énfasis en los fundamentos matemáticos necesarios para la demostración automática de teoremas, un componente clave de la programación lógica.
divulgacionlogica computacionaldemostracion automatica de teoremasinteligencia artificialciencia de la computacion
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
Practical Geometry for Computer Graphics
2007
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
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.