Automated Reasoning : 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings

 0 Người đánh giá. Xếp hạng trung bình 0

Tác giả: Jasmin Blanchette, Laura Kovács, Dirk Pattinson

Ngôn ngữ: eng

ISBN-13: 978-3031107696

Ký hiệu phân loại:

Thông tin xuất bản: Cham : Springer Nature, 2022

Mô tả vật lý: 1 electronic resource (756 p.)

Bộ sưu tập: Tài liệu truy cập mở

ID: 270797

 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 selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic
  Calculi and Orderings
  Knowledge Representation and Jutsification
  Choices, Invariance, Substitutions and Formalization
  Modal Logics
  Proofs System and Proofs Search
  Evolution, Termination and Decision Prolems. This is an open access book.
Tạo bộ sưu tập với mã QR

THƯ VIỆN - TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TP.HCM

ĐT: (028) 71010608 | Email: tt.thuvien@hutech.edu.vn

Copyright @2024 THƯ VIỆN HUTECH