scientific article; zbMATH DE number 4115950

zbMath0681.68045MaRDI QIDQ4730771

Michael J. Beeson

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

expert systemautomated theoremMATHPERT

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Artificial intelligence (68T99)

Related Items

Constraint solving for proof planning, Automatic derivation of the irrationality of \(e\), Mathpert