APA-Zitierstil (7. Ausg.)

Suttner, C., & Ertel, W. (1990). Using connectionist networks for guiding the search of a theorem prover.

Chicago-Zitierstil (17. Ausg.)

Suttner, Christian, und Wolfgang Ertel. Using Connectionist Networks for Guiding the Search of a Theorem Prover. München, 1990.

MLA-Zitierstil (9. Ausg.)

Suttner, Christian, und Wolfgang Ertel. Using Connectionist Networks for Guiding the Search of a Theorem Prover. 1990.