Imagen de Amazon.com
Portada de Syndetics
Imagen de OpenLibrary
Principles of automated theorem proving David A. Duffy.
Series Wiley professional computingDetalles de publicación: Chichester New York Wiley c1991.Descripción: xviii, 243 p. 25 cmISBN:- 0471927848
- 511.3 20
- QA76.9.A96 D84 1991
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Libro | Biblioteca Encarnación Valdés Colección General bev | 511.3 D858p (Navegar estantería(Abre debajo)) | Disponible | 80000001332405 |
Total de reservas: 0
Descripciones mejoradas de Syndetics:
An overview of ATP techniques for the non-specialist, it discusses all the main approaches to proof: resolution, natural deduction, sequentzen, and the connection calculi. Also discusses strategies for their application and three major implemented systems. Looks in detail at the new field of ``inductionless induction'' and brings out its relationship to the classical approach to proof by induction.
Includes bibliographical references (p. 225-232) and index.