L'automazione del ragionamento matematico
Dalla dimostrazione dei teoremi alla formazione dei concetti
By Alan Bundy




(1)
Like L'automazione del ragionamento matematico?
Join aNobii to see if your friends read it, and discover similar books!
Book Description
Questo libro descrive programmi per computer che "fanno" matematica, nel senso che dimostrano teoremi, elaborano modelli matematici o scoprono nuovi concetti matematici. Il testo, che non presuppone nel lettore una conoscenza specifica molto approfondita, si apre con un esame della logica matematicaContinue
0 Review No reviews for this book yet
Book Details
-
Rating:




(1)
- Libri Italiani
- Mass Market Paperback 425 Pages
- Edition: 1
- ISBN-10: 8870212920
- ISBN-13: 9788870212921
- Publisher: franco muzion & c.
- Pub date: Jul 01, 1986
Prices Change currency & sellers
| ISBN | Edition | List | Sale | Seller |
|---|---|---|---|---|
| 9788870212921 | Mass Market Paperback | -- | -- | -- |