Dyfyniad APA

Newborn, M. (2001). Automated theorem proving: Theory and practice. Springer.

Dyfyniad Arddull Chicago

Newborn, Monty. Automated Theorem Proving: Theory and Practice. New York: Springer, 2001.

Dyfyniad MLA

Newborn, Monty. Automated Theorem Proving: Theory and Practice. Springer, 2001.

Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.