Cargando…
Symbolic logic and mechanical theorem proving
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem pr...
| Autores principales: | , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Academic Press
1969
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/1999931 |