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

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Platzer, André (Editor), Sutcliffe, Geoff (Editor)
Format:	eBook
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. Electronic books.
Online Access:	Connect to the full text of this electronic book