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ỏ

Computational Science - ICCS 2022 22nd International Conference, London, UK, June 21-23, 2022, Proceedings, Part III
	Tác giả: Derek Groen, de Mulatier Clélia, de Mulatier Clélia, Jack J Dongarra, Jack J Dongarra, Derek Groen, Valeria V Krzhizhanovskaya, Valeria V Krzhizhanovskaya, Maciej Paszynski, Maciej Paszynski, Peter M A Sloot, Peter M A Sloot
	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ỏ

Automated Reasoning with Analytic Tableaux and Related Methods 32nd International Conference, TABLEAUX 2023, Prague, Cze...
	Tác giả: Revantha Ramanayake, Revantha Ramanayake, Josef Urban, Josef Urban
	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ỏ

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023,...
	Tác giả: Uli Sattler, Uli Sattler, Martin Suda, Martin Suda
	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ỏ

Programming for Computations - Python : A Gentle Introduction to Numerical Simulations with Python 3.6
	Tác giả: Svein Linge, Hans Petter Langtangen
	Xuất bản: Cham: Springer Nature, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	eBook (pdf) ddc:  004.0151  Thêm vào giỏ

Chapter 1 Introduction
	Tác giả:
	Xuất bản: Lodon New York: Taylor Francis, 2020
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  418.020285  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ở
	ddc:  418.020285  Thêm vào giỏ

Controlled Document Authoring in a Machine Translation Age
	Tác giả: Rei Miyata
	Xuất bản: London New York: Taylor Francis, 2021
	Bộ sưu tập: Tài liệu truy cập mở
	ddc:  418.020285  Thêm vào giỏ

Chapter preface
	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ỏ