Cita APA

Claesen, L. J. M. (1993). Higher order logic theorem proving and its applications.

Citación estilo Chicago

Claesen, Luc J M. Higher Order Logic Theorem Proving and Its Applications. North-Holland Publishing Co., Amsterdam, 1993.

Cita MLA

Claesen, Luc J M. Higher Order Logic Theorem Proving and Its Applications. 1993.

Warning: These citations may not always be 100% accurate.