Automata Implementation [electronic resource] : 4th International Workshop on Implementing Automata, WIA'99 Potsdam, Ger...
	Tác giả: Oliver Boldt, Helmut Jürgensen
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2001.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.45  Thêm vào giỏ

Artificial Intelligence, Automated Reasoning, and Symbolic Computation [electronic resource] : Joint International Confe...
	Tác giả: Belaid Benhamou, Jacques Calmet, Olga Caprotti, Laurent Henocque, Volker Sorge
	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:  006.3  Thêm vào giỏ

Automated Reasoning [electronic resource] : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna S...
	Tác giả: Stéphane Demri, Deepak Kapur, Christoph Weidenbach
	Xuất bản: Cham: Springer International Publishing : 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ỏ

Artificial Intelligence and Symbolic Computation [electronic resource] : 12th International Conference, AISC 2014, Sevil...
	Tác giả: Gonzalo A Aranda-Corral, Jacques Calmet, Francisco J Martín-Mateos
	Xuất bản: Cham: Springer International Publishing : 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ỏ

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ỏ

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ỏ

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ỏ

Central European Functional Programming School [electronic resource] : Second Summer School, CEFP 2007, Cluj-Napoca, Rom...
	Tác giả: Anna Soós
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2008.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.45  Thêm vào giỏ