IMSc Library catalog › ISBD view

Normal view MARC view ISBD view

Colton, Simon, 1973-

Automated theory formation in pure mathematics - London, New York : Springer c2002. - xvi, 380 p.

ISBN: 1852336099 (alk. paper)

Subjects--Topical Terms:
Mathematics
Methodology
Data processing.
Artificial intelligence.
Automatic theorem proving.
Expert systems (Computer science)

Universal Decimal Class. No.: 681.3.06 COL

Print
Suggest for purchase
Save record
BIBTEX Dublin Core RIS MARC (Unicode/UTF-8, Standard)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)