Giải bài Toán n-quân hậu bằng phương pháp lập trình ràng buộc

Giới thiệu về lập trình ràng buộc. Những cơ sở về bài toán thỏa mãn ràng buộc. Bài toán N- quân hậu trên bàn cờ

Tallennettuna:
Bibliografiset tiedot
Päätekijä: Lê Thanh Dũng
Muut tekijät: Nguyễn Thanh Tuấn (Hướng dẫn)
Aineistotyyppi: Kirja
Julkaistu: Đà Nẵng Đại học Sư phạm, Đại học Đà Nẵng 2012
Aiheet:
Tagit: Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
Thư viện lưu trữ: Mạng thư viện Đại học Đà Nẵng
LEADER 01667nam a2200337 4500
001 000017480
003 13898
005 20130418140447.0
008 130418s2012 sd
082 |a 519.3  |b LÊ-D 
100 1 |a Lê Thanh Dũng 
245 |a Giải bài Toán n-quân hậu bằng phương pháp lập trình ràng buộc  |c Lê Thanh Dũng ; Nguyễn Thanh Tuấn hướng dẫn  |k Khóa luận tốt nghiệp 
260 |a Đà Nẵng  |b Đại học Sư phạm, Đại học Đà Nẵng  |c 2012 
300 |a 55 tr.  |b Hình mh.  |c 29 cm.  |e Đĩa CD, bản tóm tắt 
500 |a Khóa luận tốt nghiệp đại học. Chuyên ngành: Cử nhân Toán tin 
504 |a Mục lục đầu trang, tài liệu tham khảo tr. 73 - 74, phụ lục [13 tr.] 
520 |a Giới thiệu về lập trình ràng buộc. Những cơ sở về bài toán thỏa mãn ràng buộc. Bài toán N- quân hậu trên bàn cờ 
600 1 4 |b Vua  |c Đinh Tiên Hoàng 
650 0 4 |a Toán n-quân hậu  |v Khóa luận tốt nghiệp  |x Phương pháp 
653 |a Khoa Toán  |a Phương pháp lập trình ràng buộc  |a Toán n-quân hậu 
700 |a Nguyễn Thanh Tuấn  |e Hướng dẫn 
OWN |a LSP 
AVA |a UDN50  |b LSP  |d 519.3 LÊ-D  |e available  |t Error 5001 Not defined in file expand_doc_bib_avail.  |f 1  |g 0  |h N  |i 0  |k 1 
999 |a From the UDN01 
AVA |a UDN50  |b LSP  |d 519.3 LÊ-D  |e available  |t Error 5001 Not defined in file expand_doc_bib_avail.  |f 1  |g 0  |h N  |i 0  |k 1 
TYP |a Monograph 
TYP |a Printed language 
980 |a Mạng thư viện Đại học Đà Nẵng