Một cải tiến của thuật toán semi-naive /
Bewaard in:
| Hoofdauteur: | Lê Mạnh Thanh. |
|---|---|
| Formaat: | Artikel |
| Taal: | Vietnamese |
| Onderwerpen: | |
| Tags: |
Voeg label toe
Geen labels, Wees de eerste die dit record labelt!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Gelijkaardige items
-
Toán Logic & Kỹ thuật số /
door: Nguyễn Nam Quân
Gepubliceerd in: (2006) -
Bước đầu làm quen với logic toán
door: Nguyễn, Mạnh Trinh
Gepubliceerd in: (1999) -
Cơ sở của toán học hiện đại
door: Rasiowa, Helena
Gepubliceerd in: (1978) -
Một số thuật toán chứng minh tự động trong logic mệnh đề /
door: Trần Ngọc Anh. -
Logic toán
door: Eđenman, S.L.
Gepubliceerd in: (1981)