Catalog > Sains Sosial > Umum > 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

Sokongan

perlindungan daripada 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

Beli ebook ini dan dapatkan 1 lagi PERCUMA!

Bahasa Inggeris ● Format EPUB ● ISBN 9783031669972 ● Penyunting Andrea Kohlhase & Laura Kovacs ● Penerbit Springer Nature Switzerland ● Diterbitkan 2024 ● Muat turun 3 kali ● Mata wang EUR ● ID 9589684 ● Salin perlindungan Adobe DRM

Memerlukan pembaca ebook yang mampu DRM

Lebih banyak ebook daripada pengarang yang sama / Penyunting

Andrea Kohlhase Laura Kovacs

128,632 Ebooks dalam kategori ini

perlindungan daripada 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, …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada 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 …

perlindungan daripada Michael Polanyi: The Logic of Liberty

Michael Polanyi: The Logic of Liberty

This is Volume XI of eighteen in the Political Sociology Series and looks at the rejections and rejoinders of the logic of liberty, originally published in 1951. …

perlindungan daripada Kate Liepmann: The Journey to Work

Kate Liepmann: The Journey to Work

This is Volume IV of eighteen in a series on the Sociology of Work and Organisation. First published in 1944, this is a study into journeys to work and their significance for wider industrial and com …

perlindungan daripada Jordan McKenzie: Deconstructing Happiness

Jordan McKenzie: Deconstructing Happiness

This book offers an original account of the good life in late modernity through a uniquely sociological lens. It considers the various ways that social and cultural factors can encourage or impede ge …

perlindungan daripada Rosalind Edwards: Mature Women Students

Rosalind Edwards: Mature Women Students

First Published in 1993. At a time when more mature women are encouraged to enter higher education, this book investigates the effects that being a student has on women”s family and social relations …

Muka surat seterusnya >>>