Automated Reasoning
11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings
Lời Giới Thiệu Của Nhà Xuất Bản
This is an open access book. It is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
THỂ LOẠI
Máy Vi Tính & Internet
ĐÃ PHÁT HÀNH
2022
1 tháng 8
NGÔN NGỮ
EN
Tiếng Anh
ĐỘ DÀI
771
Trang
NHÀ XUẤT BẢN
Springer International Publishing
NGƯỜI BÁN
Springer Nature B.V.
KÍCH THƯỚC
56,2
Mb