Automated Deduction - CADE 26

Automated Deduction - CADE 26

26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

de Moura, Leonardo

Springer International Publishing AG

07/2017

582

Mole

Inglês

9783319630458

15 a 20 dias

8891

Descrição não disponível.

Automated deduction.- Including foundations.- Applications.-Implementations.- Practical experience.

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

abstract interpretation;encryption;higher-order logic;integer arithmetic;logical frameworks;modal logic;model theory;program synthesis;proof automation;SAT encoding;software verification;static semantics;tableaux;term rewriting;theorem proving;algorithm analysis and problem complexity