1 paper
Gabriele Picco, Hoang Thanh Lam, Marco Luca Sbodio +1
Automated Theorem Proving (ATP) deals with the development of computer programs being able to show that some conjectures (queries) are a logical consequence of a set of axioms (fac…