Superposition with completely built-in Abelian groups.

Guillem Godoy Robert Nieuwenhuis

Published in: J. Symb. Comput. (2004)

Keyphrases

real time
multiscale
neural network
information systems
image processing
case study
information technology
mobile devices
group members