A Fascinating Country in The World of Computing
Your Guide to Automated Reasoning
Résumé
Contents
- The menu, the map, and the magic
- Learning logic by example
- Automated reasoning in full
- Logic circuit design
- Logic circuit validation
- Research in mathematics
- Research in formal logic
- The formal treatment of automated reasonning
- Wos's biased for the effective use of OTTER
- An author's appraisial of his papers
- Open questions, hard problems, intriguing
challenges
- Epilogue and after-dinner liqueur
- Featuring input files, proofs, and output file fragments
Caractéristiques techniques
PAPIER | |
Éditeur(s) | World Scientific |
Auteur(s) | Larry Wos, Gail W. Pieper |
Parution | 10/10/1999 |
Nb. de pages | 587 |
Format | 16 x 22,3 |
Couverture | Relié |
Poids | 973g |
Intérieur | Noir et Blanc |
EAN13 | 9789810239107 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse