Intelligent computer mathmatics : 15th international conference, CICM 2022 / Kevin Buzzard, Temur Kutsia (eds.).
CICM (Conference) (15th : 2022 : Tbilisi, Georgia); Buzzard, Kevin, editor.; Kutsia, Temur, editor.
2022
QA76.9.M35 C53 2022eb
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

Title Intelligent computer mathmatics : 15th international conference, CICM 2022 / Kevin Buzzard, Temur Kutsia (eds.).
Meeting Name CICM (Conference) (15th : 2022 : Tbilisi, Georgia)
ISBN 9783031166815 (electronic bk.)
3031166817 (electronic bk.)
3031166809
9783031166808
DOI https://doi.org/10.1007/978-3-031-16681-5
Imprint Cham, Switzerland : Springer, 2022.
Language English
Description 1 online resource
Other Standard Identifiers 10.1007/978-3-031-16681-5 doi
Call Number QA76.9.M35 C53 2022eb
Dewey Decimal Classification 004.01/51
Summary 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.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed September 23, 2022).
Added Author Buzzard, Kevin, editor.
Kutsia, Temur, editor.
Series Lecture notes in computer science. Lecture notes in artificial intelligence.
Lecture notes in computer science ; 13467.
LNCS sublibrary. SL 7, Artificial intelligence.
Available in Other Form Print version: 9783031166808
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export