Español | Inglés | |
---|---|---|
Engineering | ||
Engineering | cálculo de predicados [m] | first-order logic |
Engineering | cálculo de predicados | predicate calculus |
Engineering | cálculo de predicados | predicate logic |
Informatics | ||
Informatics | cálculo de predicados | predicate logic |