Automated deduction -- CADE 26 :: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings /: Leonardo de Moura (ed.).

Moura, Leonardo de,

doi:10.1007/978-3-319-63046-5

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / Leonardo de Moura (ed.).

International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden); Moura, Leonardo de, editor.

2017

QA76.9.A96

Available Online

Formats

Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS

Add to Basket

Cite

Linked e-resources

Linked Resource

Online Access

Concurrent users

Unlimited

Authorized users

Document Delivery Supplied

Can lend chapters, not whole ebooks

Details

Title

Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings / Leonardo de Moura (ed.).

Meeting Name

International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)

ISBN

9783319630465 (electronic book)
3319630466 (electronic book)
9783319630458

DOI

https://doi.org/10.1007/978-3-319-63046-5

Published

Cham, Switzerland : Springer, 2017.

Language

English

Description

1 online resource (xi, 582 pages) : illustrations.

Item Number

10.1007/978-3-319-63046-5 doi

Call Number

QA76.9.A96

Dewey Decimal Classification

511.3/6028563

Summary

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

Note

International conference proceedings.
Includes author index.

Access Note

Access limited to authorized users.

Source of Description

Online resource; title from PDF title page (SpringerLink, viewed July 21, 2017).

Added Author

Moura, Leonardo de, editor.

Series

Lecture notes in computer science. Lecture notes in artificial intelligence ; 10395.
LNCS sublibrary. SL 7, Artificial intelligence.

Linked Resources

Online Access