APA Zitierstil

Walther, C.(2000). Proving theorems by reuse. Artificial Intelligence, 116(1-2), 17-66. doi:10.1016/s0004-3702(99)00096-x

MLA Zitierstil

Walther, Christoph. "Proving Theorems By Reuse". Artificial Intelligence, 116.1-2 ( 2000 ): 17-66.

Bitte überprüfen Sie diese Angaben auf Richtigkeit, bevor Sie sie in Ihre Arbeit aufnehmen.