Buscas alternativas:
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
s algorithm » _ algorithm (Expandir a busca), an algorithm (Expandir a busca), bat algorithm (Expandir a busca)
variable s » variable _ (Expandir a busca), variable r (Expandir a busca), variables _ (Expandir a busca)
order variable » under variable (Expandir a busca), one variable (Expandir a busca), mode variable (Expandir a busca)
s algorithm » _ algorithm (Expandir a busca), an algorithm (Expandir a busca), bat algorithm (Expandir a busca)
variable s » variable _ (Expandir a busca), variable r (Expandir a busca), variables _ (Expandir a busca)
1
Assuntos:
“...First-order unification...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
3
4
6
7
8
9
“... finite element modeling integrates first-order theory via equivalent layer, the Doublet Lattice Method...”
Metodologia de projeto ótimo-robusto de sistemas aeroeletromecânicos com harvesters piezocerâmicos e circuitos multimodais para amortecimento passivo e supressão de flutter
Tese