Електронна книга > Обществознание > Генерал > 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.61

Купите эту электронную книгу и получите еще одну БЕСПЛАТНО!

язык английский ● Формат EPUB ● ISBN 9783031669972 ● редактор Andrea Kohlhase & Laura Kovacs ● издатель Springer Nature Switzerland ● опубликованный 2024 ● Загружаемые 3 раз ● валюта EUR ● Код товара 9589684 ● Защита от копирования Adobe DRM

Требуется устройство для чтения электронных книг с поддержкой DRM

Больше книг от того же автора (ов) / редактор

Andrea Kohlhase Laura Kovacs

128 632 Электронные книги в этой категории

Обложка Mark Hewlett: Urban Focus

Mark Hewlett: Urban Focus

This project is aimed the 16+ age range inside or outside any kind of educational institution. It is for courses concerned with general education — either in general studies programmes or as aspects …

Обложка Leslie Smith: Critical Readings on Piaget

Leslie Smith: Critical Readings on Piaget

Critical Readings on Piaget is a follow-up to Piaget: Critical Assessments a collection of eighty-three papers dealing with the critique of Piaget»s work in psychology, education and philosophy duri …

Обложка Angela P. Cheater: Social Anthropology

Angela P. Cheater: Social Anthropology

An introduction to the central concerns of social anthropology, presenting an alternative to standard texts. More concerned with the life-worlds of underdevelopment than the primitive or the exotic, …

Обложка Sor-hoon Tan: Challenging Citizenship

Sor-hoon Tan: Challenging Citizenship

Over the last ten years citizenship has become an area of interdisciplinary research and teaching in its own right. This book highlights that globalization poses new challenges for established unders …

Обложка Prof Carole Counihan & Susanne Højlund: Making Taste Public

Prof Carole Counihan & Susanne Højlund: Making Taste Public

Making Taste Public takes an ethnographic approach to show how social relations shape — and are shaped by — the taste of food. Recognizing that different cultures have different taste preferences and …

Обложка Hazel J. Hartley: Exploring Sport and Leisure Disasters

Hazel J. Hartley: Exploring Sport and Leisure Disasters

First published in 2001. This book provides a socio-legal analysis of disasters by setting out two sport and leisure disasters (the 1989 Hillsborough and Marchioness disasters) and considering them i …

Обложка Rochelle Spencer: Development Tourism

Rochelle Spencer: Development Tourism

Tourism in Cuba — described by Fidel Castro as »the evil we have to have» — has been regarded both with ambivalence, and as a crucial aspect of development and poverty alleviation. The result is a …

Обложка Wiebe Bijker & Tineke Egyedi: Social Learning Technologies

Wiebe Bijker & Tineke Egyedi: Social Learning Technologies

This title was first published in 2001. Offering a fascinating new perspective on the processes of technical and social change, this book complements contemporary innovation studies by adopting an in …

Обложка Vittorio Martone & Monica Massari: Mafia Violence

Vittorio Martone & Monica Massari: Mafia Violence

Using in-depth field research and analysis of case studies, Mafia Violence: Political, Symbolic, and Economic Forms of Violence in Camorra Clans focuses attention on the phenomenon of violence perfor …

Обложка 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 …

Следущая страница >>>