Cantitate/Preț
Produs

Intelligent Computer Mathematics: 15th International Conference, CICM 2022, Tbilisi, Georgia, September 19–23, 2022, Proceedings: Lecture Notes in Computer Science, cartea 13467

Editat de Kevin Buzzard, Temur Kutsia
en Limba Engleză Paperback – 17 sep 2022
This book constitutes the refereed proceedings of the 15th International Conference on Intelligent Computer Mathematics, CICM 2022, held in Tbilisi, Georgia, in September 2022.
The 17 full papers, 1 project/ survey paper, 4 short papers, and 2 abstracts of invited papers presented were carefully reviewed and selected from a total of 37 submissions. The papers focus on theoretical and practical solutions for these challenges including computation, deduction, narration, and data management.

Citește tot Restrânge

Din seria Lecture Notes in Computer Science

Preț: 32913 lei

Preț vechi: 41141 lei
-20% Nou

Puncte Express: 494

Preț estimativ în valută:
6298 6651$ 5241£

Carte tipărită la comandă

Livrare economică 11-25 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783031166808
ISBN-10: 3031166809
Pagini: 349
Ilustrații: XV, 349 p. 231 illus., 137 illus. in color.
Dimensiuni: 155 x 235 mm
Greutate: 0.51 kg
Ediția:1st ed. 2022
Editura: Springer International Publishing
Colecția Springer
Seriile Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence

Locul publicării:Cham, Switzerland

Cuprins

Invited Talk.- Formalizations.- Digital Libraries and Mathematical Knowledge Management.- Theorem Proving and Expression Transformation.- Satisfiability, QBF, and SMT Solving.- Computer-Aided Teaching.- Datasets and system entries.