Ảnh bìa

Automated Reasoning

This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and sel...

Mô tả đầy đủ

Đã lưu trong:
Định dạng: Online
Ngôn ngữ:Tiếng Anh
Được phát hành: Springer Nature 2022
Những chủ đề:
artificial intelligence
automata theory
computer hardware
computer networks
computer programming
computer systems
embedded systems
formal languages
formal logic
logic programming
network protocols
semantics
software architecture
software design
software engineering
theoretical computer science
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
Truy cập trực tuyến:ONIX_20220817_9783031107696_22
Các nhãn: Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!

Internet

ONIX_20220817_9783031107696_22

Những quyển sách tương tự