电子书 > 社会科学 > 一般 > 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

支持

的封面 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

购买此电子书可免费获赠一本！

语言英语 ● 格式 EPUB ● ISBN 9783031669972 ● 编辑 Andrea Kohlhase & Laura Kovacs ● 出版者 Springer Nature Switzerland ● 发布时间 2024 ● 下载 3 时 ● 货币 EUR ● ID 9589684 ● 复制保护 Adobe DRM

需要具备DRM功能的电子书阅读器

来自同一作者的更多电子书 / 编辑

Andrea Kohlhase Laura Kovacs

126,441 此类电子书

的封面 Kathleen Andersen: Future Curricular Trends in School Algebra and Geometry

Kathleen Andersen: Future Curricular Trends in School Algebra and Geometry

的封面 Ilene R. Berson & Ilene R. Berson: High-tech Tots

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

的封面 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 …

的封面 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’ …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …

的封面 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 …