Cargando…
Rippling: meta-level guidance for mathematical reasoning
A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.
| Autores principales: | , , , |
|---|---|
| Lenguaje: | eng |
| Publicado: |
Cambridge University Press
2004
|
| Materias: | |
| Acceso en línea: | http://cds.cern.ch/record/2300761 |