Search Results - "theorem provers"
Suggested Topics within your search.
Suggested Topics within your search.
-
1
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…theorem provers…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Published 2021Subjects: “…theorem provers…”
OAPEN Library: download the publication
OAPEN Library: description of the publication
Electronic Book Chapter