DDC
| 004 |
Tác giả CN
| Nguyễn Thị Thùy Mỵ |
Nhan đề
| Nghiên cứu ngữ nghĩa của chương trình Logic với các ràng buộc bản số :Luận văn thạc sĩ khoa học công nghệ thông tin - Chuyên ngành Khoa học máy tính - Mã số: 604801 /Nguyễn Thị Thùy Mỵ |
Thông tin xuất bản
| Huế,2013 |
Mô tả vật lý
| 70 tr ;30 cm |
Địa chỉ
| 100Kho Luận Án – Luận Văn(1): LV000122 |
| 000 | 00000naa a2200000 a 4500 |
---|
001 | 15969 |
---|
002 | 2 |
---|
004 | LTGU140016284 |
---|
008 | 140402s2013 vm| vie |
---|
009 | 1 0 |
---|
039 | |y20140402084600|zlibol5 |
---|
040 | |aTGULIB |
---|
041 | |avie |
---|
082 | |a004|bNG-M |
---|
100 | 1|aNguyễn Thị Thùy Mỵ |
---|
245 | |aNghiên cứu ngữ nghĩa của chương trình Logic với các ràng buộc bản số :|bLuận văn thạc sĩ khoa học công nghệ thông tin - Chuyên ngành Khoa học máy tính - Mã số: 604801 /|cNguyễn Thị Thùy Mỵ |
---|
260 | |aHuế,|c2013 |
---|
300 | |a70 tr ;|c30 cm |
---|
852 | |a100|bKho Luận Án – Luận Văn|j(1): LV000122 |
---|
890 | |a1|b0|c0|d0 |
---|
|
Dòng |
Mã vạch |
Nơi lưu |
S.gọi Cục bộ |
Phân loại |
Bản sao |
Tình trạng |
Thành phần |
Đặt mượn tài liệu |
1
|
LV000122
|
Kho Luận Án – Luận Văn
|
004 NG-M
|
Sách tham khảo tiếng Việt
|
1
|
|
|
|
Không có liên kết tài liệu số nào
|
|
|
|