scientific article; zbMATH DE number 4115950

From MaRDI portal

Revision as of 21:31, 7 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4730771

Jump to:navigation, search

zbMath0681.68045MaRDI QIDQ4730771

Michael J. Beeson

Publication date: 1989

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

zbMATH Keywords

expert system automated theorem MATHPERT

Mathematics Subject Classification ID

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

Related Items (3)

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

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4730771&oldid=18983594"