Available

| can't find it |

| browse books |

Textbooks

books

| book details |

Intelligent Computer Mathematics: 18th International Conference, CICM 2025, Brasilia, Brazil, October 6–10, 2025, Proceedings

Edited by Valeria de Paiva, Edited by Peter Koepke

| on special |

normal price: R 5 383.95

Price: R 4 844.95

| add to trolley |

| book description |

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6â€“11, 2025. The 24 full papers were presented in this volume were carefully reviewed and selected from 34Â submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Models; and Proof Assistants and Formalizations.

| product details |

Normally shipped | Available from overseas. Usually dispatched in 14 days
Publisher | Springer Nature Switzerland AG
Published date | 8 Oct 2025
Language |
Format | Paperback / softback
Pages | 470
Dimensions | 235 x 155 x 0mm (L x W x H)
Weight | 0g
ISBN | 978-3-0320-7020-3
Readership Age |
BISAC | computers / artificial intelligence

| other options |

| your trolley |

To view the items in your trolley please sign in.

| sign in |

| specials |

Exiles: Times book of the month 'Stanley Kubrick meets MR James'

Mason Coile
Paperback / softback
224 pages
was: R 520.95
now: R 468.95
Forthcoming

A terrifying locked-room mystery set in a remote outpost on Mars.

| more |

| add to trolley |

Broken Country: AMAZON'S BOOK OF THE YEAR - THE MILLION-COPY BESTSELLER

Clare Leslie Hall
Paperback / softback
320 pages

Enquiries only

An epic love story with the pulse of a thriller that asks: what would you risk for a second chance at first love?

| more |

| enquire |

The Correspondent

Virginia Evans
Hardback
288 pages
was: R 552.95
now: R 497.95
Available from overseas. Usually dispatched in 14 days

| more |

| add to trolley |

Theory & Practice

Michelle de Kretser
Hardback
192 pages
was: R 422.95
now: R 380.95
Available from overseas. Usually dispatched in 14 days

| more |

| add to trolley |

Copyright 2026 | terms and conditions