top

  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.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
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
Opac: Controlla la disponibilità qui
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
Opac: Controlla la disponibilità qui