Suggested Topics within your search.
Showing 1 - 5 results of 5 for search '', query time: 0.03s Refine Results
1
Applied logic for computer scientists : computational deduction and formal proofs /
by Ayala-Rincón, Mauricio
Published 2017
Book
2
HyRPNI algorithm and an application to bioinformatics /
Article
3
Lenguajes formales y teoría de autómatas /
Published 2015
Book
4
Matemáticas para la computación /
Book
5
Automated reasoning with analytic tableaux and related methods /
Published 2017
Conference Proceeding Book
Search Tools: Get RSS Feed — Email this Search