Ấn phẩm:
Kỹ thuật rút gọn hệ sinh và kiểm chứng các luật trong hệ suy dẫn
Đang tải...
Xem mô tả
44
Xem & Tải
3
Nhan đề khác
Tác giả
Nguyễn, Duy Hàm
Người hướng dẫn
Nguyễn, Xuân Huy
Nơi xuất bản
Nhà xuất bản
Trường Đại học Khoa học tự nhiên, ĐHQG-HCM
Năm xuất bản
2007
ISSN tạp chí
Nhan đề tập
Từ khóa chủ đề
Khoa học máy tính , Thuật toán máy tính
Bộ sưu tập
URI
Tài liệu tham khảo
Thông tin bản quyền
Tệp tin
bia.pdf
Bìa
Dung lượng: 25.64 KBĐịnh dạng: pdf
Lượt xem: 3 Lượt tải: 0
NguyenDuyHam.html
Nội dung
Dung lượng: 4.02 KBĐịnh dạng: html
Lượt xem: 0 Lượt tải: 0