Cita APA

Miller, D., & Nadathur, G. Programing wiht higher order-logic.

Citación estilo Chicago

Miller, Dale, and Gopalan Nadathur. Programing Wiht Higher Order-logic.

Cita MLA

Miller, Dale, and Gopalan Nadathur. Programing Wiht Higher Order-logic.

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