Một cải tiến của thuật toán semi-naive /
Đã lưu trong:
| Tác giả chính: | Lê Mạnh Thanh. |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | Vietnamese |
| Những chủ đề: | |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Những quyển sách tương tự
-
Toán Logic & Kỹ thuật số /
Bỡi: Nguyễn Nam Quân
Được phát hành: (2006) -
Bước đầu làm quen với logic toán
Bỡi: Nguyễn, Mạnh Trinh
Được phát hành: (1999) -
Cơ sở của toán học hiện đại
Bỡi: Rasiowa, Helena
Được phát hành: (1978) -
Một số thuật toán chứng minh tự động trong logic mệnh đề /
Bỡi: Trần Ngọc Anh. -
Logic toán
Bỡi: Eđenman, S.L.
Được phát hành: (1981)