Cargando…

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings /

This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduct...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Olivetti, Nicola (Editor ), Tiwari, Ashish (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Lecture Notes in Artificial Intelligence, 9706
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Satisfiabiliy of Boolean Formulas
  • Satisfiability Modulo Theory
  • Rewriting
  • Arithmetic Reasoning and Mechanizing Mathematics
  • First-order Logic and Proof Theory
  • First-order Theorem Proving
  • Higher-order Theorem Proving
  • Modal and Temporal Logics
  • Non-classical Logics
  • Verification.