Author Search Results

Automated Deduction - CADE 28 : : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings.

Participants: Platzer, André. [ ]; Sutcliffe, Geoff. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science Series ; v.12699

Links: Get full text

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

Participants: Platzer, André. [ ]; Sutcliffe, Geoff. [ TeilnehmendeR ]
Published: 2021.
Superior document: Lecture Notes in Computer Science ; v.12699

Free to read (incl. Open Access)