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 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | |||
681.3.06 CLO Programming in prolog | 681.3.06 CODD Cellular automata | 681.3.06 COH Specification of complex systems | 681.3.06 COL Automated theory formation in pure mathematics | 681.3.06 COM Computer languages | 681.3.06 COO Mathematica Primer | 681.3.06 COU Programme learning and computer based instruction |
There are no comments on this title.