Constraint-based reasoning
	Tác giả: Eugene C Freuder, Alan K Mackworth
	Xuất bản: Cambridge Massachusetts: MIT Press, 1994
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  006.3  Thêm vào giỏ

Diagrammatic reasoning in AI
	Tác giả: Robbie Nakatsu
	Xuất bản: Hoboken NJ: Wiley, 2010
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Data-Driven Fault Detection and Reasoning for Industrial Monitoring
	Tác giả: Jing Wang, Xiaolu Chen, Jinglin Zhou
	Xuất bản: Singapore: Springer Nature, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Model-based reasoning in science and technology [electronic resource] : abduction, logic, and computational discovery
	Tác giả: Walter A Carnielli, Lorenzo Magnani, Claudio Pizzi
	Xuất bản: Berlin: Springer, 2010
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Succeed at IQ tests : improve your numerical, verbal, and spatial reasoning skills
	Tác giả: Philip J Carter, Kenneth A Russell, Kenneth A Russell
	Xuất bản: London Philadelphia: Kogan Page, 2008
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  153.9  Thêm vào giỏ

Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune
	Tác giả: Maria Paola Bonacina, Mark E Stickel
	Xuất bản: Berlin Heidelberg: Springer Berlin Heidelberg Imprint Springer, 2013
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Advanced IQ tests : the toughest practice questions to test your lateral thinking, problem solving and reasoning skills
	Tác giả: Philip J Carter
	Xuất bản: London Philadelphia: Kogan Page, 2008
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  153.9  Thêm vào giỏ

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
	Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
	Xuất bản: Cham: Springer Nature, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

The rationality quotient : toward a test of rational thinking
	Tác giả: Keith E Stanovich, Keith Stanovich, Maggie E Toplak, Richard West
	Xuất bản: Cambridge Massachusetts: The MIT Press, 2016
	Bộ sưu tập: Tâm lý, Logic
	eBook (pdf) ddc:  153.43  Thêm vào giỏ

Graph Structures for Knowledge Representation and Reasoning [electronic resource] : 6th International Workshop, GKR 2020, Virtual Event, September 5, 2020, Revised Selected Papers
	Tác giả: Michael Cochez, Madalina Croitoru, Pierre Marquis, Sebastian Rudolph
	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:  006.3  Thêm vào giỏ