Automated reasoning with analytic tableaux and related methods /

Automated reasoning with analytic tableaux and related methods /

Detalles Bibliográficos
Autor Corporativo: International conference, TABLEAUX 2017. Proceedings Brasilia, Brasil)
Otros Autores: Schmidt, Renate A. (Editor ), Nalon, Cláudia (editora)
Formato: Procedimiento de la Conferencia Libro
Lenguaje:English
Publicado: Cham, Suiza : Springer, 2017.
Edición:1 edición
Materias:
Ingeniería de software
Inteligencia artificial
Lógica computacional
Lógica simbólica y matemática > Lenguajes formales
Lenguajes de programación
Compiladores (Programas para computador)
Intérpretes (Programas para computador)
Programación de computadoras
Técnicas de programación
Acta de congreso
Libros electrónicos
Descripción
Notas:Base de Datos SPRINGER
Descripción Física:1 recurso en línea : ilustraciones, gráficos.
Bibliografía:Referencias
ISBN:9783319669021

Ejemplares similares