Cover Image

Automated Deduction – CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings /

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is...

Full description

Corporate Author: SpringerLink (Online service)
Other Authors: Platzer, André. (Editor, http://id.loc.gov/vocabulary/relators/edt), Sutcliffe, Geoff. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2021.
Edition:1st ed. 2021.
Series:Lecture Notes in Artificial Intelligence ; 12699
Subjects:
Artificial intelligence.
Mathematical logic.
Computer logic.
Software engineering.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Software Engineering.
Online Access:https://doi.org/10.1007/978-3-030-79876-5

Internet

https://doi.org/10.1007/978-3-030-79876-5

Similar Items