Automated deduction -- CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
- Responsibility
- Leonardo de Moura (ed.).
- Publication
- Cham, Switzerland : Springer, 2017.
- Physical description
- 1 online resource (xi, 582 pages) : illustrations
- Series
- Lecture notes in computer science. Lecture notes in artificial intelligence ; 10395.
- LNCS sublibrary. SL 7, Artificial intelligence.
Online
Available online
More options
Description
Creators/Contributors
- Meeting
- International Conference on Automated Deduction (26th : 2017 : Gothenburg, Sweden)
- Contributor
- Moura, Leonardo de, editor.
Contents/Summary
- Contents
-
- Automated deduction
- Including foundations
- Applications.-Implementations
- Practical experience.
- 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.
Subjects
- Subjects
- Automatic theorem proving > Congresses.
- Logic, Symbolic and mathematical > Congresses.
- Mathematical theory of computation.
- Computer programming > software development.
- Software Engineering.
- Algorithms & data structures.
- Artificial intelligence.
- Mathematics > Logic.
- Computers > Programming > General.
- Computers > Software Development & Engineering > General.
- Computers > Programming > Algorithms.
- Computers > Intelligence (AI) & Semantics.
- Automatic theorem proving.
- Logic, Symbolic and mathematical.
Bibliographic information
- Publication date
- 2017
- Series
- Lecture notes in artificial intelligence, 0302-9743 ; 10395
- LNCS sublibrary. SL 7, Artificial intelligence
- Note
- International conference proceedings.
- Includes author index.
- ISBN
- 9783319630465 (electronic bk.)
- 3319630466 (electronic bk.)
- 9783319630458 (print)
- DOI
- 10.1007/978-3-319-63046-5
Browse related items
Start at call number:
