Automated Theorem Proving
Automated Theorem Proving is a scholarly work, published in 1978. The main subjects of the publication include mathematics, automation, mathematical economics, calculus, computer science, and program analysis.
Automated Theorem Proving is a scholarly work, published in 1978. The main subjects of the publication include mathematics, automation, mathematical economics, calculus, computer science, and program analysis.