1716850
9781402016561
Thirty Five Years of Automating Mathematics A Volume Dedicated to De Bruijn's Automath
by Kamareddine, Fairouz
31245
List Price
Discount
25% Off
You Save
$34.83
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
Product details
- ISBN-13: 9781402016561
- ISBN: 1402016565
- Publication Date: 2003
- Publisher: Springer
AUTHOR
SUMMARY
Automath was written in Algol 60 and implemented on the primitive computers of the '60s. This volume consists of 11 articles which propose interesting variations to or examples of mechanising mathematics and illustrate differ developments in symbolic computation in the past 35 years.Kamareddine, Fairouz is the author of 'Thirty Five Years of Automating Mathematics A Volume Dedicated to De Bruijn's Automath', published 2003 under ISBN 9781402016561 and ISBN 1402016565.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
