Automated Deduction – CADE 26 [electronic resource] : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

• Tác giả: Leonardo de Moura
• ISBN-13: 978-3319630465
• Ký hiệu phân loại: 006.3 Artificial intelligence
• Thông tin xuất bản: Cham : Springer International Publishing : Imprint: Springer, 2017.
• Mô tả vật lý: XI, 582 p. 87 illus. , online resource.
• Bộ sưu tập: Tài liệu truy cập mở
• ID: 329884
• Chủ đề: 1. Algorithms; 2. Artificial intelligence; 3. Computer science; 4. Machine theory; 5. Software engineering

Tóm tắt

The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.