Intelligent Computer Mathematics

18th International Conference, CICM 2025, Brasilia, Brazil, October 6-10, 2025, Proceedings

By: Valeria de Paiva (Editor), Peter Koepke (Editor)

Write A Review

Paperback | 11 November 2025

At a Glance

Paperback
498 Pages

Dimensions(cm)
23.39 x 15.6 x 2.54

Paperback

$219.00

or 4 interest-free payments of $54.75 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.