APA(7版)引用形式

Constable, R., & Moczydlowski, W. (2008). Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V.

Chicagoスタイル(17版)引用形式

Constable, Robert, , Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.

MLA(9版)引用形式

Constable, Robert, , Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.

警告: この引用は必ずしも正確ではありません.