Suggested Topics within your search.
Showing 1 - 2 results of 2 for search '"Lenguaje formal."', query time: 0.02s Refine Results
1
Applied logic for computer scientists : computational deduction and formal proofs /
by Ayala-Rincón, Mauricio
Published 2017
Subjects: “...Matemáticas Lenguajes formales Tesauro SIBITEC...”
Book
2
Automated reasoning with analytic tableaux and related methods /
Published 2017
Subjects: “...Lógica simbólica y matemática Lenguajes formales Tesauro SIBITEC...”
Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search