Bosh sahifa Katalog Videolar Blog Haqida Qo'llanma Unilibrary

Kutubxona

Oriental Universitetining elektron kutubxona platformasi. Barcha fanlar bo'yicha kitoblar bir joyda.

Sahifalar

Bosh sahifa Katalog Blog Haqida Qo'llanma Litsenziyalar Kirish Ro'yxatdan o'tish

Bog'lanish

info@orientaluniversity.uz

+998 78 113 76 86

@oriental_kutubxona

© 2026 Oriental Universiteti. Barcha huquqlar himoyalangan.

Quantum automated theorem proving — Zheng-Zhi Sun, Qi Ye, Dong-Ling Deng | Kutubxona

Katalog Matematika va axborot texnologiyalariQuantum automated theorem proving

Quantum automated theorem proving

Zheng-Zhi Sun

Matematika va axborot texnologiyalari

Format: PDF · Hajm: 8.5 MB · Bet: 28

Til: Inglizcha · Yil: 2026

Manba: ARXIVLitsenziya: CC BY 4.0

Original manbada ko'rish

To'liq o'qish uchun tizimga kiring.

00

To'liq o'qish uchun tizimga kiring

PDF yuklanmoqda...