scientific article

zbMATH Open0584.68092MaRDI QIDQ3707432

Josef Šajda

Publication date: 1985

Title of this publication is not available (Why is that?)

zbMATH Keywords

knowledge representationlogical systemdeduction

Mathematics Subject Classification ID

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

Related Items (1)

Self-representation in Girard's System U

Recommendations

• Representation and Human Reasoning 👍 👎

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)