Buscas alternativas:
programming logic » programmable logic (Expandir a busca), programming model (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
logic algorithm » cosine algorithm (Expandir a busca), music algorithms (Expandir a busca), coding algorithm (Expandir a busca)
in computation » in computational (Expandir a busca), and computation (Expandir a busca), of computation (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (Expandir a busca)
programming logic » programmable logic (Expandir a busca), programming model (Expandir a busca)
math programming » fetal programming (Expandir a busca), goal programming (Expandir a busca), gpu programming (Expandir a busca)
logic algorithm » cosine algorithm (Expandir a busca), music algorithms (Expandir a busca), coding algorithm (Expandir a busca)
in computation » in computational (Expandir a busca), and computation (Expandir a busca), of computation (Expandir a busca)
using math » using batch (Expandir a busca), using paths (Expandir a busca), using atr (Expandir a busca)
1
Assuntos:
“...Lógica nominal...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese