Automated theory formation in pure mathematics
Material type: TextPublication details: London, New York : ; Springer ; c2002Description: xvi, 380 pISBN: 1852336099 (alk. paper)Subject(s): Mathematics Methodology Data processing. Artificial intelligence. Automatic theorem proving. Expert systems (Computer science)Current library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 681.3.06 COL (Browse shelf (Opens below)) | Available | 53168 |
There are no comments on this title.