Artificial Intelligence and Symbolic Computation [electronic resource] : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
	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ỏ

Artificial Intelligence and Symbolic Computation [electronic resource] : 13th International Conference, AISC 2018, Suzhou, China, September 16–19, 2018, Proceedings
	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ỏ

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
	Tác giả: Ugo Dal Lago, Christel Baier
	Xuất bản: Springer Nature , 2018
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Asymmetric Conjugate Priors for Large Bayesian VARs
	Tác giả: Joshua C C Chan
	Xuất bản: , 2021
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  512.88  Thêm vào giỏ

Semiparametric Bayesian Estimation of Dynamic Discrete Choice Models
	Tác giả: Andriy Norets, Kenichi Shimizu
	Xuất bản: , 2022
	Bộ sưu tập: Metadata
	eBook (pdf) ddc:  001.434  Thêm vào giỏ

Computability and Complexity Theory [electronic resource]
	Tác giả: Steven Homer, Alan L Selman
	Xuất bản: New York, NY: Springer US : Imprint: Springer , 2011.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Cognitive Robotics
	Tác giả: Angelo Cangelosi, Minoru Asada, Minoru Asada, Angelo Cangelosi
	Xuất bản: Cambridge: The MIT Press , 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  629.892  Thêm vào giỏ

Automata, Logics, and Infinite Games [electronic resource] : A Guide to Current Research
	Tác giả: Erich Grädel, Wolfgang Thomas, Thomas Wilke
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2002.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Foundations of Software Science and Computation Structures [electronic resource] : 24th International Conference, FOSSACS 2021, Held as Part of the European Joint Conferences on Theory and Practice
	Tác giả: Stefan Kiefer, Christine Tasson
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2021
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018
	Tác giả: Christel Baier, Christel Baier, Ugo Dal Lago, Ugo Dal Lago
	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ỏ