zbMath0681.68045MaRDI QIDQ4730771
Michael J. Beeson
Publication date: 1989
zbMATH Keywords
expert system; automated theorem; MATHPERT
Mathematics Subject Classification ID
68W30: Symbolic computation and algebraic computation
68T99: Artificial intelligence
Related Items