Logic programming languages : constraints, functions, and objects
	Tác giả: Krzysztof R Apt, J W de Bakker, J J M M Rutten
	Xuất bản: Cambridge Massachusetts: MIT Press, 1993
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.131  Thêm vào giỏ

Foundations of Fuzzy Logic and Semantic Web Languages
	Tác giả: Umberto Straccia
	Xuất bản: : Chapman and HallCRC, 2016
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  025.0427  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ỏ

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ỏ

Programming Languages and Systems: 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki
	Tác giả: Amal Ahmed
	Xuất bản: Cham: Springer Nature, 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Programming Languages and Systems [electronic resource] : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
	Tác giả: Nobuko Yoshida
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  005.13  Thêm vào giỏ

Natural language understanding
	Tác giả: James Allen
	Xuất bản: Redwood City CA: The BenjaminCummings cop, 1995
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.35  Thêm vào giỏ

Foundations of Software Science and Computation Structures : 23rd International Conference, FOSSACS 2020, Held as Part o...
	Tác giả: Jean Goubault-Larrecq, Jean Goubault-Larrecq, Barbara König, Barbara König
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 23rd International Conference, FOSSAC...
	Tác giả: Jean Goubault-Larrecq, Barbara König
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  511.3  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 22nd International Conference, FOSSAC...
	Tác giả: Mikołaj Bojańczyk, Alex Simpson
	Xuất bản: Cham: Springer International Publishing Imprint Springer, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ