Cover: Automated Deduction – CADE 29
Brigitte Pientka
Automated Deduction – CADE 29
- 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
ISBN: 978-3-031-38499-8
592 Seiten | €
E-Book [Kindle]
Dieses Buch gehört zur Reihe Lecture Notes in Computer Science und enthält ca. 107 Folgen.
Erscheinungsdatum:
01.09.2023
Sonstiges
Brigitte Pientka

Automated Deduction – CADE 29

29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. 

The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. 

CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.

Autorin:Brigitte Pientka
Verlag:
Springer International Publishing

Unterstütze den lokalen Buchhandel

Nutze die PLZ-Suche um einen Buchhändler in Deiner Nähe zu finden.

Postleitzahl

Bestelle dieses Buch im Internet

Jetzt kaufen auf Jetzt auf Thalia kaufen
Jetzt kaufen auf Jetzt auf Buch24 kaufen
Veröffentlichung:01.09.2023
Seiten592
Art des MediumsE-Book [Kindle]
ReiheLecture Notes in Computer Science
ReiheLecture Notes in Artificial Intelligence
ISBN-13978-3-031-38499-8
EAN/ISBN

Diesen Artikel teilen

0 Kommentar zu diesem Buch

.... weitere Publikationen von Springer International Publishing

#Crime
4.6
#Crime
#TrueCrime: Digital Culture, Ethics and True Crime Audiences
#TrueCrime: Digital Culture, Ethics and True Crime Audiences
(In)Security: Identifying the Invisible Disruptors of Security
(In)Security: Identifying the Invisible Disruptors of Security
(In)Visible Signs of Gender-Based Violence
(In)Visible Signs of Gender-Based Violence
(Post)Socialist Transformation of Primary Schools
3.0
(Post)Socialist Transformation of Primary Schools
(Re)conceptualising Children’s Rights in Infant-Toddler Care and Education
(Re)conceptualising Children’s Rights in Infant-Toddler Care and Education
(Re)Discovering Proximity
(Re)Discovering Proximity
(Re)theorising More-than-parental Involvement in Early Childhood Education and Care
(Re)theorising More-than-parental Involvement in Early Childhood Education and Care
(Un)Civil Democracy
(Un)Civil Democracy
1989 in Central Europe: A Counterrevolution
1989 in Central Europe: A Counterrevolution
1st IFMBE Latin American Conference on Digital Health
1st IFMBE Latin American Conference on Digital Health
2024 the 8th International Conference on Energy and Environmental Science (ICEES 2024)
2024 the 8th International Conference on Energy and Environmental Science (ICEES 2024)
2nd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing
2nd EAI International Conference on Big Data Innovation for Sustainable Cognitive Computing
2nd EAI International Conference on Renewable Energy and Sustainable Manufacturing
2nd EAI International Conference on Renewable Energy and Sustainable Manufacturing
2nd EAI International Conference on Smart Technology
2nd EAI International Conference on Smart Technology
2nd International Congress of Electrical and Computer Engineering
2nd International Congress of Electrical and Computer Engineering
Leserunde
Verlockung und Gefahr: Der schwarze Kuss
Bewerbungsfrist bis zum: 10.01.2026
Image