Automated Reasoning and Mathematics [electronic resource] : Essays in Memory of William W. McCune
	Tác giả: Maria Paola Bonacina, Mark E Stickel
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
	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] : 24th International Workshop, IWOCA 2013, Rouen, France, July 10-12, 201...
	Tác giả: Thierry Lecroq, Laurent Mouchard
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  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 with Analytic Tableaux and Related Methods [electronic resource] : International Conference, TABLEAU...
	Tác giả: Roy Dyckhoff
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2000.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Automated Theorem Proving in Software Engineering [electronic resource]
	Tác giả: Johann M Schumann
	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:  006.3  Thêm vào giỏ

Case-Based Reasoning Research and Development [electronic resource] : 4th International Conference on Case-Based Reasoni...
	Tác giả: David W Aha, Ian Watson
	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:  006.3  Thêm vào giỏ

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ỏ

Foundations of Probabilistic Programming
	Tác giả: Gilles Barthe, Gilles Barthe, Joost-Pieter Katoen, Joost-Pieter Katoen, Alexandra Silva, Alexandra Silva
	Xuất bản: Cambridge ; New York, NY: Cambridge University Press , 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  001.642  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ỏ