Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /

Automated Reasoning with Analytic Tableaux and Related Methods : 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25–28, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Schmidt, Renate A. (Editor ), Nalon, Cláudia. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Lecture Notes in Artificial Intelligence ; 10501
Materias:
Artificial intelligence.
Mathematical logic.
Computer programming.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Artificial Intelligence.
Mathematical Logic and Formal Languages.
Programming Techniques.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Descripción
Descripción Física:XII, 381 p. 75 illus. : online resource.
ISBN:9783319669021

Ejemplares similares