Ying, M. (Dec 13, 2024). A Practical Quantum Hoare Logic with Classical Variables, I. arXiv.org.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق أسلوب شيكاغو (الطبعة السابعة عشر)
Ying, Mingsheng. "A Practical Quantum Hoare Logic with Classical Variables, I."
ArXiv.org Dec 13, 2024.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
توثيق جمعية اللغة المعاصرة MLA (الإصدار التاسع)
Ying, Mingsheng. "A Practical Quantum Hoare Logic with Classical Variables, I."
ArXiv.org, Dec 13, 2024.
تم النسخ إلى الحافظة بنجاح
فشل النسخ إلى الحافظة
تحذير: قد لا تكون هذه الاستشهادات دائما دقيقة بنسبة 100%.