Automated Theorem Proving

cover

@book{Newborn_2001,
    title = {Automated Theorem Proving},
    isbn = {9781461300892},
    url = {http://dx.doi.org/10.1007/978-1-4613-0089-2},
    doi = {10.1007/978-1-4613-0089-2},
    publisher = {Springer New York},
    author = {Newborn, Monty},
    year = {2001},
    date-added = {2026-2-10 17:9:5 +0100}
}

@book{Newborn_2001, title = {Automated Theorem Proving}, isbn = {9781461300892}, url = {http://dx.doi.org/10.1007/978-1-4613-0089-2}, doi = {10.1007/978-1-4613-0089-2}, publisher = {Springer New York}, author = {Newborn, Monty}, year = {2001}, date-added = {2026-2-10 17:9:5 +0100} }