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

Published Cham, Switzerland : Springer, 2017

Click on the following:
Springer eBooks

Copies

Description 1 online resource (xi, 582 pages) : illustrations Series Lecture notes in artificial intelligence, 0302-9743 ; 10395 LNCS sublibrary. SL 7, Artificial intelligence Lecture notes in computer science. Lecture notes in artificial intelligence ; 10395 LNCS sublibrary. SL 7, Artificial intelligence. 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 Notes International conference proceedings Includes author index Online resource; title from PDF title page (SpringerLink, viewed July 21, 2017) Subject 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 Genre/Form proceedings (reports) Conference papers and proceedings Conference papers and proceedings. Actes de congrès. Form Electronic book Author Moura, Leonardo de, editor. ISBN 9783319630465 3319630466

  Permalink