Automated Deduction in Geometry [electronic resource] : 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9...
	Tác giả: Francisco Botana, Pedro Quaresma
	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ỏ

Combinatorial Algorithms [electronic resource] : 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17...
	Tác giả: Dalibor Froncek, Kratochvíl Jan, Mirka Miller
	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:  004.0151  Thêm vào giỏ

Automated Technology for Verification and Analysis [electronic resource] : 14th International Symposium, ATVA 2016, Chib...
	Tác giả: Cyrille Artho, Axel Legay, Doron Peled
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Combinatorial Algorithms [electronic resource] : 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 20...
	Tác giả: Zsuzsanna Lipták, William F Smyth
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Automated Reasoning [electronic resource] : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 –...
	Tác giả: Nicola Olivetti, Ashish Tiwari
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Combinatorial Algorithms [electronic resource] : 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-1...
	Tác giả: Veli Mäkinen, Simon J Puglisi, Leena Salmela
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Chinese Lexical Semantics [electronic resource] : 17th Workshop, CLSW 2016, Singapore, Singapore, May 20–22, 2016, Revis...
	Tác giả: Minghui Dong, Jingxia Lin, Xuri Tang
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2016.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

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 in Medicine [electronic resource] : 16th Conference on Artificial Intelligence in Medicine, AIME...
	Tác giả: John H Holmes, Christian Popow, Lucia Sacchi, Annette ten Teije
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
	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] : 11th International Conference, WORDS 2017, Montréal, QC, Canada, Septemb...
	Tác giả: Srečko Brlek, Francesco Dolce, Christophe Reutenauer, Élise Vandomme
	Xuất bản: Cham: Springer International Publishing : Imprint: Springer , 2017.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ