Mohlo by se vám také líbit

Více informací o knize Automated Deduction - CADE 29

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 116 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v angličtině Computing & information technology Computer science Artificial intelligence

• Plný název: Automated Deduction - CADE 29
• Podnázev: 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings
• Autor: Brigitte Pientka, Cesare Tinelli
• Jazyk: Angličtina
• Vazba: Brožovaná
• EAN: 9783031384981
• ID: 43672463
• Nakladatelství: Springer, Berlin
• Rozměry: 235 × 155 mm
• Datum vydání: 11. October 2023

---

---

---