Catalog start Author/Contributor "International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)"

%{search_type} search results

1 catalog result

RSS feed for this result
View results as:
Number of results to display per page

1. Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings [2017]

Description
Book — 1 online resource (xi, 582 pages) : illustrations
Summary
  • Automated deduction
  • Including foundations
  • Applications.-Implementations
  • Practical experience.
The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Online

Articles+

Journal articles, e-books, & other e-resources
See article+ results

Guides

Course- and topic-based guides to collections, tools, and services.
Search ""International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)"" in all guide pages