Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceed...
	Tác giả: Brigitte Pientka, Brigitte Pientka, Cesare Tinelli, Cesare Tinelli
	Xuất bản: Cham: Springer Nature, 2023
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings
	Tác giả: Jasmin Blanchette, Jasmin Blanchette, Laura Kovács, Laura Kovács, Dirk Pattinson, Dirk Pattinson
	Xuất bản: Cham: Springer Nature, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:   Thêm vào giỏ

Journal of Universal Computer Science
	Tác giả:
	Xuất bản: : Graz University of Technology, 2021
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

The Logical Writings of Karl Popper
	Tác giả: David Binder, David Binder, Thomas Piecha, Thomas Piecha, Peter Schroeder-Heister, Peter Schroeder-Heister
	Xuất bản: Cham: Springer Nature, 2022
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Principles of security and trust : 7th International Conference, POST 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14
	Tác giả: Lujo Bauer, Ralf Küsters
	Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.8  Thêm vào giỏ

Soft Computing Letters
	Tác giả:
	Xuất bản: : Elsevier, 2021
	Bộ sưu tập: Báo-Tạp chí
	ddc:   Thêm vào giỏ

Cross disciplinary advances in quantum computing : NSF sponsored research Conference on Representation Theory, Quantum Field Theory, Category Theory, and Quantum Information Theory, October 1-4, 2009
	Tác giả: Leonard L Brown, Deborah Koslover, Kazem Mahdavi
	Xuất bản: Providence RI: American Mathematical Society, c2011
	Bộ sưu tập: Khoa học tự nhiên
	eBook (pdf) ddc:  530.12  Thêm vào giỏ

Programming Languages and Systems : 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Proceedings
	Tác giả: Amal Ahmed
	Xuất bản: New York NY: Springer Berlin Heidelberg, 2018
	Bộ sưu tập: Công nghệ thông tin
	eBook (pdf) ddc:  005.13  Thêm vào giỏ

The Everyday Life of an Algorithm
	Tác giả: Daniel Neyland
	Xuất bản: Cham: Springer Nature, 2019
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:   Thêm vào giỏ

Chapter Bibliography
	Tác giả:
	Xuất bản: London New York: Taylor Francis, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  418.020285  Thêm vào giỏ