Automated reasoning with analytic tableaux and related methods - International conference, TABLEAUX 2017. Proceedings 2017 : setiembre, 25-28 : Brasilia, Brasil); Schmidt, Renate A.; Nalon, Cláudia (Cham, Suiza : Springer, 2017)
Base de Datos SPRINGER
Referencias
INGE
MATE
COMP
TECN
Keywords: 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