APA Цитирование

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

Chicago-стиль цитирования

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

MLA-цитирование

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

Предупреждение: эти цитированмия не могут быть всегда правильны на 100%.