Research Catalog
Thirty five years of automating mathematics
- Title
- Thirty five years of automating mathematics / edited by Fairouz Kamareddine.
- Publication
- Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2003.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 04-184 | Offsite |
Details
- Additional Authors
- Kamareddine, Fairouz.
- Description
- viii, 318 p. : ill.; 25 cm.
- Series Statement
- Applied logic series ; v. 28
- Alternative Title
- 35 years of automating mathematics
- Subject
- Bibliography (note)
- Includes bibliographical references and index.
- Call Number
- JSE 04-184
- ISBN
- 1402016565 (alk. paper)
- LCCN
- 2003062874
- OCLC
- vendor
- Title
- Thirty five years of automating mathematics / edited by Fairouz Kamareddine.
- Imprint
- Dordrecht ; Boston ; London : Kluwer Academic Publishers, c2003.
- Series
- Applied logic series ; v. 28
- Bibliography
- Includes bibliographical references and index.
- Added Author
- Kamareddine, Fairouz.
- Research Call Number
- JSE 04-184