หนังสือดิจิตอล > สังคมศาสตร์ > ทั่วไป > 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

ซื้อ eBook เล่มนี้และรับฟรีอีก 1 เล่ม!

ภาษา อังกฤษ ● รูป EPUB ● ISBN 9783031669972 ● บรรณาธิการ Andrea Kohlhase & Laura Kovacs ● สำนักพิมพ์ Springer Nature Switzerland ● การตีพิมพ์ 2024 ● ที่สามารถดาวน์โหลดได้ 3 ครั้ง ● เงินตรา EUR ● ID 9589684 ● ป้องกันการคัดลอก Adobe DRM

ต้องใช้เครื่องอ่านหนังสืออิเล็กทรอนิกส์ที่มีความสามารถ DRM

หนังสืออิเล็กทรอนิกส์เพิ่มเติมจากผู้แต่งคนเดียวกัน / บรรณาธิการ

Andrea Kohlhase Laura Kovacs

128,762 หนังสืออิเล็กทรอนิกส์ในหมวดหมู่นี้

ปกของ Gary M. (Substance Abuse and Mental Health Services Administration, Maryland, USA) Blau & Thomas P. (Eastern Connecticut State University, and Child and Family Agency of Southeastern Connecticut, Inc, USA) Gullotta: Handbook of Childhood Behavioral Issues

Gary M. (Substance Abuse and Mental Health Services Administration, Maryland, USA) Blau & Thomas P. (Eastern Connecticut State University, and Child and Family Agency of Southeastern Connecticut, Inc, USA) Gullotta: Handbook of Childhood Behavioral Issues

This handbook highlights present-day information and evidence-based knowledge in the field of children’s behavioral health to enable practitioners, families, and others to choose and implement one of …

ปกของ Beverly A. (Associate Professor in Counselor Education, State University of New York at Plattsburgh, Plattsburgh, New York) Burnell & Jelane A. (Associate Professor, Student Development and Higher Education Program, Counselor Education and Family Therapy,

Beverly A. (Associate Professor in Counselor Education, State University of New York at Plattsburgh, Plattsburgh, New York) Burnell & Jelane A. (Associate Professor, Student Development and Higher Education Program, Counselor Education and Family Therapy,

Over and over, studies have concluded that the doctoral experience is a monumental challenge in higher education, particularly for women. This book, Women Scholars: Navigating the Doctoral Journey, p …

ปกของ 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 …

ปกของ Vasanthi Raman: The World of the Banaras Weaver

Vasanthi Raman: The World of the Banaras Weaver

This book is a fascinating investigation into how communalism plays out in everyday India. Using the metaphor of tana-bana – the warp and the weft of the Banarasi sari – the author reproduces the int …

ปกของ Simone (University of Parma, Italy) Baglioni & Manlio (University of Milan, Italy) Cinalli: Young People and Long-Term Unemployment

Simone (University of Parma, Italy) Baglioni & Manlio (University of Milan, Italy) Cinalli: Young People and Long-Term Unemployment

Young People and Long-Term Unemployment examines the consequences of long-term unemployment for the personal, social, and political lives of young adults aged 18–34 across four European cities: Colog …

ปกของ Anne-Marie Fortier: Migrant Belongings

Anne-Marie Fortier: Migrant Belongings

This book traces the formation of Italian migrant belongings in Britain, and scrutinizes the identity narratives through which they are stabilized. A key theme of this study is the constitution of id …

ปกของ Ninfa M. (Centre for Research and Teaching in Economics (CIDE), Mexico) Fuentes-Sosa: Deep Integration in Latin American Trade Agreements

Ninfa M. (Centre for Research and Teaching in Economics (CIDE), Mexico) Fuentes-Sosa: Deep Integration in Latin American Trade Agreements

Trade agreements have uncontested relevance as essential instruments governing international trade, yet little attention has been directed towards explaining differences in their content. Deep Integr …

ปกของ Sally Minogue: Problems for Feminist Criticism (RLE Feminist Theory)

Sally Minogue: Problems for Feminist Criticism (RLE Feminist Theory)

Feminist criticism has come a long way in the last twenty years. Its development has been rapid, its snowball progress picking up elements of structuralism, deconstruction and psychoanalytic criticis …

ปกของ Laurence Alison & Jonathan Crego: Policing Critical Incidents

Laurence Alison & Jonathan Crego: Policing Critical Incidents

The aim of this book is to examine the qualities of leadership and decision-making in the police service. Based on groundbreaking research using unique, advanced methods for examining policing in com …

ปกของ Sofie Bouteligier: Cities, Networks, and Global Environmental Governance

Sofie Bouteligier: Cities, Networks, and Global Environmental Governance

As a result of global dynamics—the increasing interconnection of people and places—innovations in global environmental governance haved altered the role of cities in shaping the future of the planet. …

หน้าต่อไป >>>