The discipline of automated theorem proving encompasses techniques which allow us to find a justification of a logical statement expressing an assertion in some domain of knowledge. Beside obvious importance for mathematics, many of the tasks traditionally associated with human…
Fecha:
1999
Recurso:
McGill University - MCGILL
CIC - Centro de Información y Conocimiento Johannes Gutenberg ®