Một cải tiến của thuật toán semi-naive /
Сохранить в:
| Главный автор: | Lê Mạnh Thanh. |
|---|---|
| Формат: | Статья |
| Язык: | Vietnamese |
| Предметы: | |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
Схожие документы
-
Toán Logic & Kỹ thuật số /
по: Nguyễn Nam Quân
Опубликовано: (2006) -
Bước đầu làm quen với logic toán
по: Nguyễn, Mạnh Trinh
Опубликовано: (1999) -
Cơ sở của toán học hiện đại
по: Rasiowa, Helena
Опубликовано: (1978) -
Một số thuật toán chứng minh tự động trong logic mệnh đề /
по: Trần Ngọc Anh. -
Logic toán
по: Eđenman, S.L.
Опубликовано: (1981)