Go to main content

Intelligent computer mathmatics [electronic resource] : 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
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

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 [electronic resource] : 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
Published
Cham, Switzerland : Springer, 2022.
Language
English
Description
1 online resource.
Item Number
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