scientific article; zbMATH DE number 1149411
From MaRDI portal
Publication:4386932
Recommendations
Cited in
(5)- Induction, constructivity, and grounding
- Building Structured Theories
- Using the Bottom Clause and Mode Declarations on FOL Theory Revision from Examples
- scientific article; zbMATH DE number 47025 (Why is no real title available?)
- scientific article; zbMATH DE number 1149434 (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 Q4386932)