Debiased Machine Learning without Sample-Splitting for Stable Estimators
	Tác giả: Qizhao Chen, Morgane Austern, Vasilis Syrgkanis
	Xuất bản: , 2022
	Bộ sưu tập: Báo, Tạp chí
	eBook (pdf) ddc:  006.31  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ỏ

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ỏ

Automata for Branching and Layered Temporal Structures [electronic resource] : An Investigation into Regularities of Inf...
	Tác giả: Gabriele Puppis
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  006.3  Thêm vào giỏ

Central European Functional Programming School [electronic resource] : Third Summer School, CEFP 2009, Budapest, Hungary...
	Tác giả: Zoltán Horváth, Rinus Plasmeijer, Viktoria Zsók
	Xuất bản: Berlin, Heidelberg: Springer Berlin Heidelberg : Imprint: Springer , 2010.
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  005.1  Thêm vào giỏ

Automated Deduction in Geometry [electronic resource] : 7th International Workshop, ADG 2008, Shanghai, China, September...
	Tác giả: Thomas Sturm, Christoph Zengler
	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ỏ

Automated Deduction in Geometry [electronic resource] : 8th International Workshop, ADG 2010, Munich, Germany, July 22-2...
	Tác giả: Julien Narboux, Jürgen Richter-Gebert, Pascal Schreck
	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] : First International Conference, CPP 2011, Kenting, Taiwan, Decembe...
	Tác giả: Jean-Pierre Jouannaud, Zhong Shao
	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:  004.0151  Thêm vào giỏ

Combinatorial Algorithms [electronic resource] : 22th International Workshop, IWOCA 2011, Victoria, Canada, July 20-22, ...
	Tác giả: Costas S Iliopoulos, William F Smyth
	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:  004.0151  Thêm vào giỏ