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ỏ

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ở
	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, 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ở
	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ỏ