Catalog > Sciences sociales > Général > Andrea Kohlhase & Laura Kovacs: Intelligent Computer Mathematics (ePUB)

Andrea Kohlhase & Laura Kovacs
Intelligent Computer Mathematics [EPUB ebook]
17th International Conference, CICM 2024, Montreal, QC, Canada, August 5-9, 2024, Proceedings

Support

Couverture du Andrea Kohlhase & Laura Kovacs: Intelligent Computer Mathematics (ePUB)

This book constitutes the refereed proceedings of the 17th International Conference on Intelligent Computer Mathematics, CICM 2024, held in Montreal, Quebec, Canada, during August 5-9, 2024. The 21 full papers presented were carefully reviewed and selected from 28 submissions. These papers have been categorized into the following sections: AI and LLM; Proof Assistants; Logical Frameworks and Transformations; Knowledge Representation and Certi?cation; Proof Search and Formalization & System Descriptions.

€127.99

Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !

Langue Anglais ● Format EPUB ● ISBN 9783031669972 ● Éditeur Andrea Kohlhase & Laura Kovacs ● Maison d’édition Springer Nature Switzerland ● Publié 2024 ● Téléchargeable 3 fois ● Devise EUR ● ID 9589684 ● Protection contre la copie Adobe DRM

Nécessite un lecteur de livre électronique compatible DRM

Plus d’ebooks du même auteur(s) / Éditeur

Andrea Kohlhase Laura Kovacs

126 441 Ebooks dans cette catégorie

Couverture du Kathleen Andersen: Future Curricular Trends in School Algebra and Geometry

Kathleen Andersen: Future Curricular Trends in School Algebra and Geometry

Couverture du Ilene R. Berson & Ilene R. Berson: High-tech Tots

Ilene R. Berson & Ilene R. Berson: High-tech Tots

Couverture du Heide (University of South Florida, US) Castaneda: Migration and Health

Heide (University of South Florida, US) Castaneda: Migration and Health

Migration and Health: Critical Perspectives offers a radical rethinking of the field by unsettling conventional ideas of mobility and borders to highlight the ways in which they produce health inequa …

Couverture du Maurizio Ferrera: Welfare State Reform in Southern Europe

Maurizio Ferrera: Welfare State Reform in Southern Europe

This new study delivers a detailed analysis of the efforts being made to reduce poverty and social exclusion in Portugal, Spain, Italy and Greece. After an initial discussion of the »southern model’ …

Couverture du Jenny Engstrom: Democratisation and the Prevention of Violent Conflict

Jenny Engstrom: Democratisation and the Prevention of Violent Conflict

Challenging the often held belief that democratization necessarily leads to aggressive ethnic nationalism and even violent conflict, this book offers an alternative account of democratization and int …

Couverture du G. Orde-Browne: The African Labourer

G. Orde-Browne: The African Labourer

Originally published in 1933, this book is a comparative study of the labour market in the early part of the twentieth century in different parts of Africa. It focusses particularly on the impact of …

Couverture du M. Virginia Wyly: Infant Assessment

M. Virginia Wyly: Infant Assessment

Infancy is one of the most fascinating periods in the human life cycle. In two short years, infants become thinking, speaking, social beings. As this book explains, over the past three decades, resea …

Couverture du Valerie Jenness: Hate Crimes

Valerie Jenness: Hate Crimes

Violence directed at victimized groups because of their real or imagined characteristics is as old as humankind. Why, then, have ‘hate crimes’ only recently become recog-nized as a serious social pro …

Couverture du Oliva Espin: Latina Realities

Oliva Espin: Latina Realities

This book emphasizes psychology »s role ‘as a means of human welfare’, focusing on the complexities of the psychological development of immigrant women, Latinas, and other women of color and issues r …

Couverture du Ernesto Castaneda & Charles Tilly: Social Movements, 1768 - 2018

Ernesto Castaneda & Charles Tilly: Social Movements, 1768 – 2018

Social Movements 1768-2018 provides the most comprehensive historical account of the birth and spread of social movements. Renowned social scientist Charles Tilly applies his synthetic theoretical sk …

Page suivante >>>