Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Calculations
32
Differentiation (calculus)
27
Lambda calculus
12
Formal logic
10
Theorem proving
9
Algebra
6
Biomineralization
6
CALCULO LAMBDA
6
Computer circuits
6
LAMBDA CALCULUS
6
Pattern matching
6
Semantics
6
Specifications
6
Strong normalization
6
Convergence of numerical methods
5
Mathematical models
5
Nonlinear equations
5
Alloy analyzers
4
Alloys
4
Artificial intelligence
4
CALCULO-λ
4
Computer programming languages
4
Differential equations
4
Explicit substitution
4
Heidelberg (CO)
4
Inductive logic programming
4
Modal logic
4
PVS
4
Pathology
4
Proof calculus
4
-
41Publicado 2009Materias: “...Event Calculus...”
-
42Materias: “...Event Calculus...”
JOUR -
43
-
44
-
45Publicado 1999Materias: “...Functional calculus...”
-
46Publicado 2008Materias: “...fusion calculus...”
-
47
-
48por Ivnisky, MalenaMaterias: “...LAMBDA CALCULUS...”
Publicado 2020
Tesis de grado publishedVersion -
49
-
50Materias: “...Functional calculus...”
SER -
51por Moscato, Mariano MiguelMaterias: “...ALLOY CALCULUS...”
Publicado 2013
Tesis doctoral publishedVersion -
52
-
53por Steren, GabrielaMaterias: “...LAMBDA CALCULUS...”
Publicado 2014
Tesis doctoral publishedVersion -
54
-
55Materias: “...Alloy calculus...”
-
56Materias: “...Alloy calculus...”
JOUR -
57Materias: “...Proof calculus...”
-
58Materias: “...Proof calculus...”
SER -
59Publicado 2011Materias: “...Differentiation (calculus)...”
-
60Materias: “...Differentiation (calculus)...”
JOUR