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ỏ

Artificial Intelligence Logic and Applications [electronic resource] : The 2nd International Conference, AILA 2022, Shan...
	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ỏ

New Frontiers in Parallel Robots
	Tác giả: Zhufeng Shao, Caro Stéphane, Caro Stéphane, Zhufeng Shao, Dan Zhang, Dan Zhang
	Xuất bản: Basel: MDPI - Multidisciplinary Digital Publishing Institute , 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzho...
	Tác giả: Jacques Calmet, Jacques Fleuriot, Dongming Wang
	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:  006.3  Thêm vào giỏ

Combinatorics on Words [electronic resource] : 12th International Conference, WORDS 2019, Loughborough, UK, September 9–...
	Tác giả: Robert Mercaş, Daniel Reidenbach
	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ỏ

Automated Technology for Verification and Analysis [electronic resource] : 13th International Symposium, ATVA 2015, Shan...
	Tác giả: Bernd Finkbeiner, Geguang Pu, Lijun Zhang
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.45  Thêm vào giỏ

Combinatorics on Words [electronic resource] : 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17...
	Tác giả: Florin Manea, Dirk Nowotka
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
	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 with Analytic Tableaux and Related Methods [electronic resource] : 24th International Conference, TA...
	Tác giả: Hans De Nivelle
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Chinese Lexical Semantics [electronic resource] : 16th Workshop, CLSW 2015, Beijing, China, May 9-11, 2015, Revised Sele...
	Tác giả: Hong Gao, Qin Lu
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2015.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ