Cita APA

Wos, L. (1984). Automated reasoning: Introduction and applications. Prentice-Hall.

Citación estilo Chicago

Wos, Larry. Automated Reasoning: Introduction and Applications. Englewood Cliffs, N.J.: Prentice-Hall, 1984.

Cita MLA

Wos, Larry. Automated Reasoning: Introduction and Applications. Englewood Cliffs, N.J.: Prentice-Hall, 1984.

Precaución: Estas citas no son 100% exactas.