Tác giả: Armin Biere, David Parker
Ngôn ngữ: ger
ISBN-13: 978-3030451905
Ký hiệu phân loại: 004.0151 Data processing || Computer science
Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2020
Mô tả vật lý: XXIII, 501 p. 1 illus. , online resource.
Bộ sưu tập: Tài liệu truy cập mở
ID: 169503 Tạo mục trích dẫn