Luận án, luận văn Разработка методов темпоральной спецификации и дедукции для онтологий: Дисс. кан-та тех. наук: 05.13.17/ Нгуен Тхи Минь Ву
Tác giả : Нгуен Тхи Минь Ву
Năm xuất bản : 2017
Nơi xuất bản : M.
Mô tả vật lý : 159 с.: илл.; 30 см 1 реферат
Số phân loại : 004.33
Chủ đề : 1. Thời gian. 2. Trình diễn. 3. 7. 4. 7. 5. Diễn dich thời gian.
Thông tin chi tiết
| Tóm tắt : | Nghiên cứu tổng quan các vấn đề trình diễn và diễn dịch thông tin và thời gian trong các cơ sở thông tin. Mở rộng logic đoạn thời gian của Allen bằng cách thêm vào các quan hệ logic và các giới hạn thời gian cho chúng. Đưa ra phương pháp diễn dich thời gian cho những ngôn ngữ logic thời gian do mình giới thiệu… |
Thông tin dữ liệu nguồn
| Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
|---|---|---|
Thư viện Quốc gia Việt Nam
|
LA17.0425.1, LA17.0425.2 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-675987.html |
Tài liệu cùng danh mục chủ đề
Grid database design / April J. Wells
Tác giả : April J. Wells
Nhà xuất bản : Auerbach Publications
Năm xuất bản : 2005
日本の電子計算機 1978.9 / 日本の電子計算機論集専門委員会
Tác giả : 日本の電子計算機論集専門委員会
Nhà xuất bản : 日本電子工業振興協会
Năm xuất bản : 1978
Practical industrial data networks: design, installation and troubleshooting / Steve Mackay...[et al]
Tác giả : Steve Mackay...[et al]
Nhà xuất bản : Newnes
Năm xuất bản : 2004
Building communication networks with distributed objects / William J. Yarborough
Tác giả : William J. Yarborough
Nhà xuất bản : McGraw-Hill
Năm xuất bản : 1998
Parallel scientific computing in C++ and MPI: A seamless approach to parallel algorithms and their implementation / George Em Karniadakis and Robert M. Kirby II
Tác giả : George Em Karniadakis and Robert M. Kirby II
Nhà xuất bản : Cambridge Univ. Press
Năm xuất bản : 2003
Đại học Công nghệ - ĐHQGHN 
Đại học Giáo dục - ĐHQGHN 
Đại học khoa học tự nhiên - ĐHQGHN 
Đại học Khoa học Xã hội và Nhân văn - ĐHQGHN 
Đại học Kinh tế - ĐHQGHN 
Đại học Ngoại ngữ - ĐHQGHN 
Đại học quốc gia Hà Nội 
Đại học Y - Dược - ĐHQGHN 
Học Viện Hàng Không Việt Nam 
Thư viện đại học Cần Thơ 
Thư viện Huyện Bình Chánh - TVKHTH TP.HCM 
Thư viện huyện Bình Minh - TV Vĩnh Long 
Thư viện huyện Bình Tân - TV Vĩnh Long 
Thư viện Huyện Cần Giờ - TVKHTH TP.HCM 
Thư viện Huyện Củ Chi - TVKHTH TP.HCM 
Thư viện Huyện Hóc Môn - TVKHTH TP.HCM 
Thư viện huyện Long Hồ - TV Vĩnh Long 
Thư viện huyện Mang Thít - TV Vĩnh Long 
Thư viện Huyện Nhà Bè - TVKHTH TP.HCM 
Thư viện huyện Tam Bình - TV Vĩnh Long 
Thư viện huyện Trà Ôn - TV Vĩnh Long 
Thư viện Khoa học Tổng hợp TP.HCM 
Thư viện quận 1 - TVKHTH TP.HCM 
Thư viện quận 10 - TVKHTH TP.HCM 
Thư viện quận 11 - TVKHTH TP.HCM 
Thư viện quận 12 - TVKHTH TP.HCM 
Thư viện quận 2 - TVKHTH TP.HCM 
Thư viện quận 3 - TVKHTH TP.HCM 
Thư viện quận 4 - TVKHTH TP.HCM 
Thư viện quận 5 - TVKHTH TP.HCM 
Thư viện quận 6 - TVKHTH TP.HCM 
Thư viện quận 7 - TVKHTH TP.HCM 
Thư viện quận 8 - TVKHTH TP.HCM 
Thư viện quận Bình Tân - TVKHTH TP.HCM 
Thư viện quận Bình Thạnh - TVKHTH TP.HCM 
Thư viện quận Gò Vấp - TVKHTH TP.HCM 
Thư viện quận Phú Nhuận - TVKHTH TP.HCM 
Thư viện quận Tân Bình - TVKHTH TP.HCM 
Thư viện quận Tân Phú - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 1) - TVKHTH TP.HCM 
Thư viện thành phố Thủ Đức (cơ sở 2) - TVKHTH TP.HCM 
Thư Viện Tỉnh An Giang 
Thư viện tỉnh Vĩnh Long 
Tổ chức y tế thế giới 
Trung tâm giáo dục quốc phòng và An ninh - ĐHQGHN 
Trung tâm Hỗ trợ Sinh viên - ĐHQGHN 
Trường Đại học Luật - ĐHQGHN 
Trường Khoa học liên ngành và nghệ thuật - ĐHQGHN 
Trường Quản trị và Kinh doanh - ĐHQGHN 
Viện Công nghệ Thông tin - ĐHQGHN 
Viện Đảm bảo chất lượng giáo dục - ĐHQGHN 
Viện Quốc tế Pháp ngữ - ĐHQGHN 
Viện Tài nguyên và Môi trường - ĐHQGHN 
Viện Vi sinh vật và Công nghệ Sinh học - ĐHQGHN 
Viện Việt Nam học và Khoa học phát triển - ĐHQGHN