Automated Reasoning with Analytic Tableaux and Related Methods 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011, Proceedings /

This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully re...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Brünnler, Kai (Editor ), Metcalfe, George (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.
Edición:1st ed. 2011.
Colección:Lecture Notes in Artificial Intelligence, 6793
Temas:
Artificial intelligence.
Machine theory.
Computer programming.
Software engineering.
Computer science.
Artificial Intelligence.
Formal Languages and Automata Theory.
Programming Techniques.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Items no disponibles

Detalle de Existencias desde

Ejemplares similares