Richard Fateman

Digital Library

ACM Fellows

USA - 1999

citation

For seminal contributions to the development of MACSYMA and symbolic processing systems.