scientific article; zbMATH DE number 3894495

MaRDI QIDQ5186757zbMATH OpenFDO

Authors Ye. I. Yefimov

Publication date 1984

zbMATH Keywords

elementary algorithmset of learning examples

Mathematics Subject Classification ID

Classical propositional logic (03B05) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• scientific article; zbMATH DE number 863013
• scientific article; zbMATH DE number 2100042
• Automated constructivization of proofs
• scientific article; zbMATH DE number 4117898
• Automating theories in intuitionistic logic
• Automatic theorem proving in paraconsistent logics: Theory and implementation
• scientific article; zbMATH DE number 4164174
• scientific article; zbMATH DE number 63734
• scientific article; zbMATH DE number 6938205
• scientific article; zbMATH DE number 978243

Cited in

(6)

• Rapid construction of algebraic axioms from samples
• A learning procedure for mathematics.
• scientific article; zbMATH DE number 2043389 (Why is no real title available?)
• scientific article; zbMATH DE number 2100042 (Why is no real title available?)
• Computer Science Logic
• scientific article; zbMATH DE number 6938205 (Why is no real title available?)

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 Q5186757)