Catalog > Human Sciences > Education > Claudio Sacerdoti Coen & Fairouz Kamareddine: Intelligent Computer Mathematics (ePUB)

Claudio Sacerdoti Coen & Fairouz Kamareddine
Intelligent Computer Mathematics [EPUB ebook]
14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings

Support

Cover of Claudio Sacerdoti Coen & Fairouz Kamareddine: Intelligent Computer Mathematics (ePUB)

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 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.* The conference was held virtually due to the COVID-19 pandemic.

€58.02

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783030810979 ● Editor Claudio Sacerdoti Coen & Fairouz Kamareddine ● Publisher Springer International Publishing ● Published 2021 ● Downloadable 3 times ● Currency EUR ● ID 8033384 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Claudio Sacerdoti Coen Fairouz Kamareddine

161,745 Ebooks in this category

Cover of Marvin W Berkowitz: PRIMED for Character Education

Marvin W Berkowitz: PRIMED for Character Education

In PRIMED for Character Education, renowned character educator Marvin W Berkowitz boils down decades of research on evidence-based practices and thought-provoking field experience into a clear set of …

Cover of June O'Sullivan: Leadership Skills in the Early Years

June O’Sullivan: Leadership Skills in the Early Years

June O”Sullivan explores the concept of leadership, particularly with regards to leading Early Years centres. In line with government initiatives, there is growing pressure within the early years se …

Cover of David Fonseca & Ernest Redondo: Handbook of Research on Applied E-Learning in Engineering and Architecture Education

David Fonseca & Ernest Redondo: Handbook of Research on Applied E-Learning in Engineering and Architecture Education

Cover of Lee Chao: Handbook of Research on Cloud-Based STEM Education for Improved Learning Outcomes

Lee Chao: Handbook of Research on Cloud-Based STEM Education for Improved Learning Outcomes

Cover of Grisel Maria Garcia-Perez & Constanza Rojas-Primus: Promoting Intercultural Communication Competencies in Higher Education

Grisel Maria Garcia-Perez & Constanza Rojas-Primus: Promoting Intercultural Communication Competencies in Higher Education

Cover of Kenan Dikilitas & Ismail Hakki Erten: Facilitating In-Service Teacher Training for Professional Development

Kenan Dikilitas & Ismail Hakki Erten: Facilitating In-Service Teacher Training for Professional Development

Cover of Meghana Joshi & B. Pandu Ranga Narasimharao: Handbook of Research on Science Education and University Outreach as a Tool for Regional Development

Meghana Joshi & B. Pandu Ranga Narasimharao: Handbook of Research on Science Education and University Outreach as a Tool for Regional Development

Cover of Annette Lerine Steenkamp: Examining the Changing Role of Supervision in Doctoral Research Projects: Emerging Research and Opportunities

Annette Lerine Steenkamp: Examining the Changing Role of Supervision in Doctoral Research Projects: Emerging Research and Opportunities

Cover of Penny Van Deur: Managing Self-Directed Learning in Primary School Education: Emerging Research and Opportunities

Penny Van Deur: Managing Self-Directed Learning in Primary School Education: Emerging Research and Opportunities

Cover of Eletra Gilchrist-Petty: Deviant Communication in Teacher-Student Interactions: Emerging Research and Opportunities

Eletra Gilchrist-Petty: Deviant Communication in Teacher-Student Interactions: Emerging Research and Opportunities