Symbolic Computation

Artificial Intelligence

ISSN: