Գրանցեք մեջբերումները :: UTM Library Massive Scholar Tracking

APA (7th ed.) մեջբերում

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

Չիկագոյի ոճի (17րդ խմբ.) մեջբերում

Constable, Robert, and 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, and Wojciech Moczydlowski. Extracting Programs from Constructive HOL Proofs via IZF Set-Theoretic Semantics. Logical Methods in Computer Science e.V, 2008.

Զգուշացում. այս մեջբերումները միշտ չէ, որ կարող են 100% ճշգրիտ լինել.