Computational logic [electronic resource] : logic programming and beyond
	Tác giả: Antonis C Kakas, Robert Kowalski, Fariba Sadri
	Xuất bản: Berlin ; New York: Springer , 2002.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Computational logic : logic programming and beyond : essays in honour of Robert A. Kowalski
	Tác giả: Antonis C Kakas, Robert Kowalski, Fariba Sadri
	Xuất bản: Heidelberg ; New York: Springer , 2002.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Lập trình logic trong Prolog
	Tác giả: Phan Huy Khánh
	Xuất bản: Hà Nội: Đại học Quốc gia Hà Nội , 2004
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

A beginner's guide to programming logic and design : introductory version
	Tác giả: Joyce Farrell
	Xuất bản: Australia: Course Technology, Cengage Learning , 2013
	Bộ sưu tập: Công nghệ thông tin
	Bản in ddc:  005.115  Thêm vào giỏ

Mathematical Aspects of Logic Programming Semantics
	Tác giả: Pascal Hitzler, Anthony Seda
	Xuất bản: Boca Raton, FL: Taylor & Francis , 2011
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Mathematical Aspects of Logic Programming Semantics
	Tác giả: Pascal Hitzler, Randi Cohen, Randi Cohen, Anthony Seda
	Xuất bản: Boca Raton, FL: Taylor & Francis , 2010
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Logic programming : proceedings of the 1999 International Conference on Logic Programming
	Tác giả: Danny De Schreye
	Xuất bản: Cambridge, Mass: MIT , 2000.
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.115  Thêm vào giỏ

Logic programming : proceedings of the Fourteenth International Conference on Logic Programming
	Tác giả: Lee Naish
	Xuất bản: Cambridge, Massachusetts: MIT Press , 1997.
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.115  Thêm vào giỏ

Xây dựng công cụ tích hợp hỗ trợ biểu diễn tri thức trong lập trình logic tập trả lời
	Tác giả: Thị Nhỏ Võ
	Xuất bản: Tạp chí Thiết bị giáo dục , 2014
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  005.115  Thêm vào giỏ

Vận dụng lập trình logic xây sựng phần mềm cho hệ đào tạo tín chỉ
	Tác giả: Xuân Hùng Phạm, Xuân Thọ Đặng, Quang Thục Ngô
	Xuất bản: Kỷ yếu hội nghị sinh viên nghiên cứu khoa học năm học 2005-2006 (Chào mừng 55 năm ngày thành lập trường Đại học Sư phạm Hà Nội , 2006
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  005.115  Thêm vào giỏ