scientific article; zbMATH DE number 4115950

MaRDI QIDQ4730771zbMATH OpenFDO

Authors Michael Beeson

Publication date 1989

zbMATH Keywords

automated theoremexpert systemMATHPERT

Mathematics Subject Classification ID

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

Recommendations

• The Logical Structure of Computer-Aided Mathematical Reasoning
• scientific article; zbMATH DE number 1086656
• scientific article; zbMATH DE number 4115949
• Mathematical applications of inductive logic programming
• Publication:4205404
• scientific article; zbMATH DE number 3860434
• scientific article; zbMATH DE number 1951635
• scientific article; zbMATH DE number 218497

Cited in

(9)

• Some mathematical and software tools for the development of special-purpose expert systems
• Constraint solving for proof planning
• e-learning logic and mathematics: what we have and what we still need
• scientific article; zbMATH DE number 2089018 (Why is no real title available?)
• Mathpert
• scientific article; zbMATH DE number 622675 (Why is no real title available?)
• scientific article; zbMATH DE number 1067725 (Why is no real title available?)
• The Logical Structure of Computer-Aided Mathematical Reasoning
• Automatic derivation of the irrationality of e

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4730771)