Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
The little prover / / Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More
| The little prover / / Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More |
| Autore | Friedman Daniel P. |
| Pubbl/distr/stampa | Cambridge, Massachusetts : , : MIT Press, , [2015] |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 511.3/6028563 |
| Altri autori (Persone) | EastlundCarl |
| Soggetto topico |
Automatic theorem proving
LISP (Computer program language) |
| ISBN |
0-262-33057-1
0-262-33056-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro; Contents; Foreword; Preface; 1. Old Games, New Rules; 2. Even Older Games; 3. What's in a Name?; 4. Part of This Total Breakfast; 5. Think It Over and Over and Over; 6. Think It Through; 7. Oh My, Stars!; 8. Learning the Rules; 9. Changing the Rules; 10. The Stars Are Aligned; Recess; The Proof of the Pudding; The Little Assistant; Restless for More?; Afterword; Index |
| Record Nr. | UNINA-9910797359703321 |
Friedman Daniel P.
|
||
| Cambridge, Massachusetts : , : MIT Press, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The little prover / / Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More
| The little prover / / Daniel P. Friedman, Carl Eastlund ; drawings by Duane Bibby ; foreword by J Strother More |
| Autore | Friedman Daniel P. |
| Pubbl/distr/stampa | Cambridge, Massachusetts : , : MIT Press, , [2015] |
| Descrizione fisica | 1 online resource (244 p.) |
| Disciplina | 511.3/6028563 |
| Altri autori (Persone) | EastlundCarl |
| Soggetto topico |
Automatic theorem proving
LISP (Computer program language) |
| ISBN |
0-262-33057-1
0-262-33056-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Intro; Contents; Foreword; Preface; 1. Old Games, New Rules; 2. Even Older Games; 3. What's in a Name?; 4. Part of This Total Breakfast; 5. Think It Over and Over and Over; 6. Think It Through; 7. Oh My, Stars!; 8. Learning the Rules; 9. Changing the Rules; 10. The Stars Are Aligned; Recess; The Proof of the Pudding; The Little Assistant; Restless for More?; Afterword; Index |
| Record Nr. | UNINA-9910825540903321 |
|
Friedman Daniel P.
|
||
| Cambridge, Massachusetts : , : MIT Press, , [2015] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||