Spara
Automated Reasoning
These essays are collected together here not only to acknowledge Bledsoe's manifold and substantial scientific contributions but also to express our appreciation for the great care and energy that he has devoted to nurturing many of the scientists working in those scientific fields he has helped found.
- Undertitel
- Essays in Honor of Woody Bledsoe
- Redaktör
- Robert Stephen Boyer
- Upplaga
- Softcover reprint of the original 1st ed. 1991
- ISBN
- 9789401055420
- Språk
- Engelska
- Vikt
- 310 gram
- Utgivningsdatum
- 2012-10-17
- Förlag
- Springer
- Sidor
- 365
