Automated Deduction – CADE 29

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

AvBrigitte Pientka,Cesare Tinelli

Häftad, Engelska, 2023

458 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utforska kategorier

Innehållsförteckning

Hoppa över listan

Du kanske också är intresserad av

Giovanni Montanaro, Ulrike Zanatta - Il libraio di Venezia, Häftad
Del 14132

Il libraio di Venezia

Giovanni Montanaro, Ulrike Zanatta

Häftad, 2022

4,0 utav 5 stjärnor. Totalt antal röster:(1)

109 kr

Karolina Ramqvist - Nattsäsong, Inbunden
  • -19%

Nattsäsong

Karolina Ramqvist

Inbunden, 2026

215 kr265 kr