scientific article; zbMATH DE number 4033140

MaRDI QIDQ3773399zbMATH OpenFDO

Authors V. E. Kuznetsov

Publication date 1986

zbMATH Keywords

formal systemsK-systemsknowledge representationrepresentation of setsunformalized knowledge

Mathematics Subject Classification ID

Thue and Post systems, etc. (03D03) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 47574
• scientific article; zbMATH DE number 2200719
• scientific article; zbMATH DE number 3914302
• scientific article; zbMATH DE number 1839435
• Formal systems of constructive mathematics

Cited in

(5)

• KAM -- a knowledge-based tool for developing computer algebra systems
• scientific article; zbMATH DE number 3914302 (Why is no real title available?)
• scientific article; zbMATH DE number 2080945 (Why is no real title available?)
• scientific article; zbMATH DE number 1839435 (Why is no real title available?)
• scientific article; zbMATH DE number 2200719 (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 Q3773399)