Search Results - "automated theorem proving"

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Subjects: “…automated theorem proving…”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Subjects: “…automated theorem proving…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Influences of Frege's Predicate Logic on Some Computational Models by Mohamad Awwad

Connect to this object online.