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 |
| _version_ | 1780957149540646912 |
|---|---|
| author | Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew |
| author_facet | Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew |
| author_sort | Bundy, Alan |
| collection | CERN |
| description | A unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving. |
| id | cern-2300761 |
| institution | Organización Europea para la Investigación Nuclear |
| language | eng |
| publishDate | 2004 |
| publisher | Cambridge University Press |
| record_format | invenio |
| spelling | cern-23007612021-04-21T18:56:21Zhttp://cds.cern.ch/record/2300761engBundy, AlanBasin, DavidHutter, DieterIreland, AndrewRippling: meta-level guidance for mathematical reasoningMathematical Physics and MathematicsA unique, systematic and comprehensive introduction to rippling and to the wider subject of automated inductive theorem proving.Cambridge University Pressoai:cds.cern.ch:23007612004 |
| spellingShingle | Mathematical Physics and Mathematics Bundy, Alan Basin, David Hutter, Dieter Ireland, Andrew Rippling: meta-level guidance for mathematical reasoning |
| title | Rippling: meta-level guidance for mathematical reasoning |
| title_full | Rippling: meta-level guidance for mathematical reasoning |
| title_fullStr | Rippling: meta-level guidance for mathematical reasoning |
| title_full_unstemmed | Rippling: meta-level guidance for mathematical reasoning |
| title_short | Rippling: meta-level guidance for mathematical reasoning |
| title_sort | rippling: meta-level guidance for mathematical reasoning |
| topic | Mathematical Physics and Mathematics |
| url | http://cds.cern.ch/record/2300761 |
| work_keys_str_mv | AT bundyalan ripplingmetalevelguidanceformathematicalreasoning AT basindavid ripplingmetalevelguidanceformathematicalreasoning AT hutterdieter ripplingmetalevelguidanceformathematicalreasoning AT irelandandrew ripplingmetalevelguidanceformathematicalreasoning |