Catalog > Social Sciences > General > 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

Cover of 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.61

Buy this ebook and get 1 more FREE!

Language English ● Format EPUB ● ISBN 9783031669972 ● Editor Andrea Kohlhase & Laura Kovacs ● Publisher Springer Nature Switzerland ● Published 2024 ● Downloadable 3 times ● Currency EUR ● ID 9589684 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Andrea Kohlhase Laura Kovacs

128,762 Ebooks in this category

Cover of Lisa M. (Florida Southern College, Lakeland, USA) Carter & Catherine D. (Appalachian State University, Boone, North Carolina, USA) Marcum: Female Offenders and Reentry

Lisa M. (Florida Southern College, Lakeland, USA) Carter & Catherine D. (Appalachian State University, Boone, North Carolina, USA) Marcum: Female Offenders and Reentry

Often, research concerning the female offender is scarce. This book adds to the criminological literature on the topic of reentry for women, focusing on the barriers women face as they return to soci …

Cover of John Kampfner: Freedom For Sale

John Kampfner: Freedom For Sale

Why is it that so many people around the world appear willing to give up freedoms in return for either security or prosperity? For the past 60 years it had been assumed that capitalism was intertwine …

Cover of Dylan (University of the West Indies, Trinidad and Tobago) Kerrigan & Daniel (University of Worcester, UK) Nehring: Therapeutic Worlds

Dylan (University of the West Indies, Trinidad and Tobago) Kerrigan & Daniel (University of Worcester, UK) Nehring: Therapeutic Worlds

This book builds a fresh perspective on therapeutic narratives of intimate life. Focusing on the question of how popular psychology organises everyday experiences of intimacy, its argument is grounde …

Cover of Asafa (University of Tennessee at Knoxville, USA) Jalata: Cultural Capital and Prospects for Democracy in Botswana and Ethiopia

Asafa (University of Tennessee at Knoxville, USA) Jalata: Cultural Capital and Prospects for Democracy in Botswana and Ethiopia

This book focuses on and examines the impact of cultural capital, political economy, social movements, and political consciousness on the potential development of substantive democracy in Botswana an …

Cover of Janice Gordon-Kelter & Sue Rosenberg Zalk: Revolutions In Knowledge

Janice Gordon-Kelter & Sue Rosenberg Zalk: Revolutions In Knowledge

Recent feminist research has demonstrated how women have been neglected or misrepresented in virtually every discipline in the humanities and social sciences. The most exciting research growing out o …

Cover of Chak Kwan Chan & Jie Lei: China''s Social Welfare Revolution

Chak Kwan Chan & Jie Lei: China”s Social Welfare Revolution

The Chinese government has recently adopted a radical welfare approach by contracting out social services to non-governmental organisations (NGOs). This is a big departure from its traditional welfar …

Cover of Paul (University of Connecticut, USA) Jalbert: Left Behind: The Public Education Crisis in the United States

Paul (University of Connecticut, USA) Jalbert: Left Behind: The Public Education Crisis in the United States

This book addresses the harmful influences that the cultural, social, economic, political and ideological dimensions, in current ‘American’ society, have upon the delivery of elementary, secondary an …

Cover of Pal Wilter (Senior Research Fellow & Director of the Arctic and Russia Programme, Fridtjof Nansen Institute, Norway) Skedsmo: Armenia and Europe

Pal Wilter (Senior Research Fellow & Director of the Arctic and Russia Programme, Fridtjof Nansen Institute, Norway) Skedsmo: Armenia and Europe

Armenia receives one of the highest levels of international aid per capita in the Western world, and among the highest of the post-Soviet states. This ethnographic study, based on new primary researc …

Cover of East West Insitute & Robert W. Orttung: The Republics and Regions of the Russian Federation: A Guide to the Politics, Policies and Leaders

East West Insitute & Robert W. Orttung: The Republics and Regions of the Russian Federation: A Guide to the Politics, Policies and Leaders

Russia is divided into seven federal districts encompassing 89 units — regions (oblasts), territories (krais), and republics. As central power has weakened, the importance of these units and their l …

Cover of Waldemar Cudny: Urban Events, Place Branding and Promotion

Waldemar Cudny: Urban Events, Place Branding and Promotion

Urban Events, Place Branding and Promotion explores the phenomenon of place event marketing, examining the ways in which events are used to brand and disseminate information about a place. It provide …