Artificial intelligence and symbolic mathematical computing. International conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
The articles of this volume will not be indexed individually.
scientific article; zbMATH DE number 447678