Automated Deduction - CADE 28 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings /

This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is...

Mô tả đầy đủ

Đã lưu trong:
Chi tiết về thư mục
Tác giả của công ty: SpringerLink (Online service)
Tác giả khác: Platzer, André (Biên tập viên), Sutcliffe, Geoff (Biên tập viên)
Định dạng: Điện tử eBook
Ngôn ngữ:Tiếng Anh
Được phát hành: Cham : Springer International Publishing : Imprint: Springer, 2021.
Phiên bản:1st ed. 2021.
Loạt:Lecture Notes in Artificial Intelligence, 12699
Những chủ đề:
Truy cập trực tuyến:Link to Metadata
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Internet

Link to Metadata

3rd Floor Main Library

Chi tiết quỹ từ 3rd Floor Main Library
Số hiệu: A1234.567
Sao chép 1 Sẵn có