scientific article; zbMATH DE number 3936549

MaRDI QIDQ3707432zbMATH OpenFDO

Authors Josef Šajda

Publication date 1985

zbMATH Keywords

deductionknowledge representationlogical system

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Abstract data types; algebraic specification (68Q65) Artificial intelligence (68T99)

Recommendations

• scientific article; zbMATH DE number 4113930
• scientific article; zbMATH DE number 3902081
• scientific article; zbMATH DE number 3876644
• scientific article; zbMATH DE number 3902080
• Knowledge, belief and time

Cited in

(1)

• Self-representation in Girard's System U

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