Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part II
	Tác giả: Hana Chockler, Hana Chockler, Georg Weissenbacher, Georg Weissenbacher
	Xuất bản: Cham, Switzerland: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.24  Thêm vào giỏ

Computer Aided Verification [electronic resource] : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part
	Tác giả: Hana Chockler, Georg Weissenbacher
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1015113  Thêm vào giỏ

Categories and Types in Logic, Language, and Physics [electronic resource] : Essays dedicated to Jim Lambek on the Occasion of this 90th Birthday
	Tác giả: Claudia Casadio, Bob Coecke, Michael Moortgat, Philip Scott
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2014.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Computation, Logic, Games, and Quantum Foundations - The Many Facets of Samson Abramsky [electronic resource] : Essays Dedicted to Samson Abramsky on the Occasion of His 60th Birthday
	Tác giả: Bob Coecke, Luke Ong, Prakash Panangaden
	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:  004.0151  Thêm vào giỏ

Drools JBoss Rules 5.0 developer's guide [electronic resource] : develop rules-based business logic using the Drools platform
	Tác giả: Michal Bali, Sammy Larbi, James Taylor
	Xuất bản: Birmingham, UK: Packt Publishing , 2009.
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.2762  Thêm vào giỏ

How PowerPoint makes you stupid : the faulty causality, sloppy logic, decontextualized data, and seductive showmanship that have taken over our thinking
	Tác giả: Franck Frommer
	Xuất bản: New York: New Press : Distributed by Perseus Distribution , 2012
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.5  Thêm vào giỏ

Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shanghai, China, August 26–28, 2022, Proceedings
	Tác giả: Yixiang Chen, Songmao Zhang
	Xuất bản: Singapore: Springer Nature Singapore : Imprint: Springer , 2022.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Cellular Automata : Innovative Modelling for Science and Engineering
	Tác giả: Alejandro Salcido, Alejandro Salcido
	Xuất bản: Croatia: IntechOpen , 2011
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

New Achievements in Evolutionary Computation
	Tác giả: Peter Korosec, Peter Korosec
	Xuất bản: Croatia: IntechOpen , 2010
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Game Theory
	Tác giả: Qiming Huang, Qiming Huang
	Xuất bản: Croatia: IntechOpen , 2010
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  823.912  Thêm vào giỏ