-
1
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021“…Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter