Catalog > Nauki społeczne > Ogólne > 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

Wsparcie

Pokrywa 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

Kup ten ebook, a 1 kolejny otrzymasz GRATIS!

Język Angielski ● Format EPUB ● ISBN 9783031669972 ● Redaktor Andrea Kohlhase & Laura Kovacs ● Wydawca Springer Nature Switzerland ● Opublikowany 2024 ● Do pobrania 3 czasy ● Waluta EUR ● ID 9589684 ● Ochrona przed kopiowaniem Adobe DRM

Wymaga czytnika ebooków obsługującego DRM

Więcej książek elektronicznych tego samego autora (ów) / Redaktor

Andrea Kohlhase Laura Kovacs

126 441 Ebooki w tej kategorii

Pokrywa Kathleen Andersen: Future Curricular Trends in School Algebra and Geometry

Kathleen Andersen: Future Curricular Trends in School Algebra and Geometry

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

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

Pokrywa 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 …

Pokrywa 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’ …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Pokrywa 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 …

Następna strona >>>