Title:
Automated Deduction - CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
Author:
de Moura, Leonardo. editor.
ISBN:
9783319630465
Edition:
1st ed. 2017.
Physical Description:
XI, 582 p. 87 illus. online resource.
Series:
Lecture Notes in Artificial Intelligence, 10395
Abstract:
The chapter 'Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems' is published open access under a CC BY 4.0 license.
Added Author:
Added Corporate Author:
Electronic Access:
https://doi.org/10.1007/978-3-319-63046-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 616315-1001 | ONLINE | Searching... | Searching... |