Automated theorem proving: theory and practice /
Newborn, Monty
Automated theorem proving: theory and practice / Newborn, Monty. - New York: Springer, 2001. - xiii,231p;24cm
Includes bibliographical references.
0387950753
004.015113 NEW
Automated theorem proving: theory and practice / Newborn, Monty. - New York: Springer, 2001. - xiii,231p;24cm
Includes bibliographical references.
0387950753
004.015113 NEW