Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Algorithms
4
Graph theory
4
Theorem proving
4
Computational complexity
3
Edge modification problems
3
Graph classes
3
NP-completeness
3
Problem solving
3
Set theory
3
Approximation theory
1
Circular-arc graphs
1
Graph algorithms
1
Mathematical models
1
Polynomial recognition
1
Polynomials
1
Principal component analysis
1
Proper circular-arc graphs
1
Unit circular-arc graphs
1
Buscar alternativas:
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
"Theorem proving" » "Theorem improving" (Expander búsqueda), "Theorem province" (Expander búsqueda)
-
1Materias: “...Theorem proving...”
Artículo publishedVersion -
2Materias: “...Theorem proving...”
Artículo publishedVersion -
3Materias: “...Theorem proving...”
JOUR -
4Materias: “...Theorem proving...”
JOUR