Newborn, M. (2001). Automated theorem proving: Theory and practice. Springer.
استشهاد بنمط شيكاغوNewborn, Monty. Automated Theorem Proving: Theory and Practice. New York: Springer, 2001.
MLA استشهادNewborn, Monty. Automated Theorem Proving: Theory and Practice. Springer, 2001.
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.