APA Citation

Dowek, G., & Jiang, Y. Enumerating proofs of positive formulae.

Trích dẫn kiểu Chicago

Dowek, Gilles., và Ying Jiang. Enumerating Proofs of Positive Formulae.

MLA Citation

Dowek, Gilles., và Ying Jiang. Enumerating Proofs of Positive Formulae.

Advarsel: Disse citationer er muligvist ikke 100% nøjagtige.