Argumentation in Multi-Agent Systems [electronic resource] : 7th International Workshop, ArgMAS 2010, Toronto, Canada, M...
	Tác giả: Peter McBurney, Simon D Parsons, Iyad Rahwan
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2011.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Certified Programs and Proofs [electronic resource] : Second International Conference, CPP 2012, Kyoto, Japan, December ...
	Tác giả: Chris Hawblitzel, Dale Miller
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Argumentation in Multi-Agent Systems [electronic resource] : 8th International Workshop, ArgMAS 2011, Taipei, Taiwan, Ma...
	Tác giả: Peter McBurney, Simon Parsons, Iyad Rahwan
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	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] : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, ...
	Tác giả: Bernhard Gramlich, Dale Miller, Ulrike Sattler
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2012.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.131  Thêm vào giỏ

Computational Analysis of Terrorist Groups: Lashkar-e-Taiba [electronic resource]
	Tác giả: VS Subrahmanian, John P Dickerson, Aaron Mannes, Jana Shakarian, Amy Sliva
	Xuất bản: New York, NY: Springer New York : Imprint: Springer , 2013.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.6  Thêm vào giỏ

Aspects of Natural Language Processing [electronic resource] : Essays Dedicated to Leonard Bolc on the Occasion of His 7...
	Tác giả: Malgorzata Marciniak, Agnieszka Mykowiecka
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.35  Thêm vào giỏ

Case-Based Reasoning Research and Development [electronic resource] : 8th International Conference on Case-Based Reasoni...
	Tác giả: Lorraine McGinty, David C Wilson
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2009.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Automated Deduction in Geometry [electronic resource] : 9th International Workshop, ADG 2012, Edinburgh, UK, September 1...
	Tác giả: Jacques Fleuriot, Tetsuo Ida
	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ỏ

Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 22nd International Conference, TA...
	Tác giả: Didier Galmiche, Dominique Larchey-Wendling
	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ỏ

Certified Programs and Proofs [electronic resource] : Third International Conference, CPP 2013, Melbourne, VIC, Australi...
	Tác giả: Georges Gonthier, Michael Norrish
	Xuất bản: Cham: Springer International Publishing : 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ỏ