Rights and permissions
About this article
Cite this article
Conference on Artificial Intelligence and Symbolic Mathematical Computations. Ann Math Artif Intell 5, III (1992). https://doi.org/10.1007/BF01530782
Issue Date:
DOI: https://doi.org/10.1007/BF01530782