Ngữ nghĩa chương trình Datalog có phủ định trong thân quy tắc : Luận văn Thạc sĩ ngành Công nghệ Thông tin / Trần Nguyên Phong
Tác giả: Trần, Nguyên Phong | Lê, Mạnh Thanh [Người hướng dẫn] .
Vật mang tin: Xuất bản: Hà Nội : Trường ĐHBK Hà Nội, 2001Phụ chú luận văn: Luận văn Thạc sĩ ngành Công nghệ Thông tin--Trường ĐHBK Hà nội, Hà Nội, 2001 Trạng thái: Sẵn sàng: HN Library (2). Kho tài liệu: Reading room QA76 TR121P.
Ai yêu các nhi đồng bằng Bác Hồ Chí Minh Một số tư liệu và mẩu chuyện về Bác Hồ với thiếu niên, nhi đồng Việt Nam và thế giới Lê Mạnh Thanh, Hồng Khanh, Hoàng Việt Quân... ; Hoàng Giai s.t., b.s.
Tác giả: Hồng Khanh | Hoàng Việt Quân | Lê Mạnh Thanh | Phong Nhã | Hoàng Giai [s.t., b.s.] | Vũ Kỳ.
Ấn bản: In lần thứ ba, có sửa chữa, bổ sungVật mang tin: ; Định dạng:
print
Xuất bản: H. Phụ nữ 2012Trạng thái: Không sẵn sàng
Ai yêu các cháu nhi đồng bằng Bác Hồ Chí Minh Một số tư liệu và mẩu chuyện về Bác Hồ với thiếu niên Lê Mạnh Thanh, Hồng Khanh, Hoàng Việt Quân... ; Hoàng Giai s.t, b.s.
Tác giả: Vũ Kỳ | Phương Thuỷ | Hoàng Giai [s.t., b.s.] | Hoàng Việt Quân | Phong Nhã.
Ấn bản: In lần thứ 2, có sửa chữa, bổ sungVật mang tin: ; Định dạng:
print
Xuất bản: H. Văn hoá Thông tin 2006Trạng thái: Không sẵn sàng
