Một cải tiến của thuật toán semi-naive /
Sparad:
| Huvudupphovsman: | Lê Mạnh Thanh. |
|---|---|
| Materialtyp: | Artikel |
| Språk: | Vietnamese |
| Ämnen: | |
| Taggar: |
Lägg till en tagg
Inga taggar, Lägg till första taggen!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Liknande verk
-
Toán Logic & Kỹ thuật số /
av: Nguyễn Nam Quân
Publicerad: (2006) -
Bước đầu làm quen với logic toán
av: Nguyễn, Mạnh Trinh
Publicerad: (1999) -
Cơ sở của toán học hiện đại
av: Rasiowa, Helena
Publicerad: (1978) -
Một số thuật toán chứng minh tự động trong logic mệnh đề /
av: Trần Ngọc Anh. -
Logic toán
av: Eđenman, S.L.
Publicerad: (1981)