Pages that link to "Item:Q5464699"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464699):
Displaying 6 items.
- \textit{Theorema}: Towards computer-aided mathematical theory exploration (Q865646) (← links)
- Variadic equational matching in associative and commutative theories (Q2029000) (← links)
- Solving equations with sequence variables and sequence functions (Q2457427) (← links)
- Pattern unification with sequence variables and flexible arity symbols (Q2842594) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
- (Q5009706) (← links)