Deduction Computation Experiment Exploring The Effectiveness Of Proof
Edición de la obra Deduction Computation Experiment Exploring The Effectiveness Of Proof
| Autor | Giovanna Corsi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| Páginas | 279 |
| ISBN-13 | 9788847007833 |
| OCLC | 222164642, 421989635 |
| LCCN | 2008932581 |
| Número de Cutter | C826d |