Automated theory formation in pure mathematics
Material type:
TextPublication details: London, New York :; Springer; c2002.Description: xvi, 380 pISBN: - 1852336099 (alk. paper)
BOOKS
| Home library | Call number | Materials specified | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|
| IMSc Library | 681.3.06 COL (Browse shelf(Opens below)) | Available | 53168 |
There are no comments on this title.
Log in to your account to post a comment.