Tipo de registro dentro de su búsqueda.
Tipo de registro dentro de su búsqueda.
Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Theorem proving
116
Problem solving
42
Mathematical models
26
Algorithms
24
Set theory
20
Matrix algebra
18
Boundary conditions
16
Vectors
16
Approximation theory
14
Boundary value problems
14
Computational complexity
12
Nonlinear equations
12
Polynomials
12
Convergence of numerical methods
10
Function evaluation
10
Mathematical operators
10
Probability
10
Algebra
8
Eigenvalues and eigenfunctions
8
Nonlinear systems
8
Normal numbers
8
Number theory
8
Turing machines
8
Bessel functions
6
Computational geometry
6
Computer science
6
Differentiation (calculus)
6
Formal logic
6
Fractals
6
Functions
6
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)
-
41Materias: “...Theorem proving...”
JOUR -
42
-
43
-
44Materias: “...Theorem proving...”
JOUR -
45
-
46Materias: “...Theorem proving...”
-
47
-
48Materias: “...Theorem proving...”
JOUR -
49Publicado 1997Materias: “...Theorem proving...”
-
50Materias: “...Theorem proving...”
-
51Publicado 2002Materias: “...Theorem proving...”
-
52por Moscato, Mariano MiguelMaterias: “...INTERACTIVE THEOREM PROVING...”
Publicado 2013
Tesis doctoral publishedVersion -
53por Moscato, Mariano MiguelMaterias: “...INTERACTIVE THEOREM PROVING...”
Publicado 2013
Tesis doctoral publishedVersion -
54por Moscato, Mariano MiguelMaterias: “...INTERACTIVE THEOREM PROVING...”
Publicado 2013
Tesis Doctoral -
55
-
56Materias: “...Theorem proving...”
JOUR -
57
-
58Publicado 2006Materias: “...Theorem proving...”
-
59Materias: “...Theorem proving...”
-
60Publicado 2018Materias: “...Theorem proving...”