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ự
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) -
Toán lôgic và kỹ thuật số /
Bỡi: Nguyễn Nam Quân
Được phát hành: (2006) -
Đại cương về toán học hữu hạn
Bỡi: Hoàng, Chúng
Được phát hành: (1997) -
Bước đầu làm quen với logic toán
Bỡi: Nguyễn, Mạnh Trinh
Được phát hành: (1999) -
Một số thuật toán chứng minh tự động trong logic mệnh đề /
Bỡi: Trần Ngọc Anh.