Automated Technology for Verification and Analysis [electronic resource] : 17th International Symposium, ATVA 2019, Taip...
	Tác giả: Yu-Fang Chen, Chih-Hong Cheng, Javier Esparza
	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.1  Thêm vào giỏ

Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijin...
	Tác giả: Jaques Calmet, Tetsuo Ida, Dongming Wang
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2006.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
	Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
	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:  005.131  Thêm vào giỏ

Automated Reasoning [electronic resource] : 10th International Joint Conference, IJCAR 2020, Paris, France, July 1–4, 20...
	Tác giả: Nicolas Peltier, Viorica Sofronie-Stokkermans
	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:  005.131  Thêm vào giỏ

Case-Based Reasoning Research and Development [electronic resource] : 28th International Conference, ICCBR 2020, Salaman...
	Tác giả: Ian Watson, Rosina Weber
	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:  006.3  Thêm vào giỏ

Lý thuyết Automat và ngôn ngữ hình thức
	Tác giả: Hồ Văn Quân
	Xuất bản: TP.HCM: Đại học Quốc gia Thành phố Hồ Chí Minh , 2006
	Bộ sưu tập: Khoa học tự nhiên
	Bản in ddc:  511.3  Thêm vào giỏ

Knowledge Structures for Communications in Human-Computer Systems
	Tác giả: Eldo C Koenig
	Xuất bản: New Jersey: Wiley, John & Sons, Incorporated , 2008
	Bộ sưu tập: Khoa học ứng dụng
	Bản in ddc:  670  Thêm vào giỏ

Kernel Methods for Causal Functions: Dose, Heterogeneous, and Incremental Response Curves
	Tác giả: Rahul Singh, Arthur Gretton, Liyuan Xu
	Xuất bản: , 2020
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  001.434  Thêm vào giỏ

Feature Selection by a Mechanism Design
	Tác giả: Xingwei Hu
	Xuất bản: , 2021
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  146.6  Thêm vào giỏ

Elements of Causal Inference : Foundations and Learning Algorithms
	Tác giả: Jonas Peters, Dominik Janzing, Bernhard Schölkopf
	Xuất bản: Cambridge: The MIT Press , 2017
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.31  Thêm vào giỏ