Cantitate/Preț
Produs

Intelligent Computer Mathematics: 16th International Conference, CICM 2023, Cambridge, UK, , September 5–8, 2023 Proceedings: Lecture Notes in Computer Science, cartea 14101

Editat de Catherine Dubois, Manfred Kerber
en Limba Engleză Paperback – 31 aug 2023
This book constitutes the refereed proceedings of the 16th International Conference on Intelligent Computer Mathematics, CICM 2023, held in Cambridge, UK, in September 2023. The 14 full papers, 2 project/survey papers, 6 short papers, and 1 tool paper presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 43965 lei

Preț vechi: 54956 lei
-20% Nou

Puncte Express: 659

Preț estimativ în valută:
8414 8740$ 6989£

Carte tipărită la comandă

Livrare economică 03-17 februarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031427527
ISBN-10: 3031427521
Pagini: 324
Ilustrații: XVII, 324 p. 83 illus., 49 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.49 kg
Ediția:1st ed. 2023
Editura: Springer Nature Switzerland
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Cham, Switzerland

Cuprins

Invited Talks.- Regular Papers.- Project and Survey papers.- System and Dataset Descriptions.- System Entry.