Gaya APA

veroff, robert. (1997). automated reasoning and its applications . USA: The Mit Press Cmbbridge.

Gaya Chicago

veroff, robert. automated reasoning and its applications. USA: The Mit Press Cmbbridge, 1997. Text.

Gaya MLA

veroff, robert. automated reasoning and its applications. USA: The Mit Press Cmbbridge, 1997. Text.

Gaya Turabian

veroff, robert. automated reasoning and its applications. USA: The Mit Press Cmbbridge, 1997. Print.