scientific article; zbMATH DE number 5199144
From MaRDI portal
Publication:5309602
zbMATH Open1118.68660MaRDI QIDQ5309602
Author name not available (Why is that?)
Publication date: 9 October 2007
Title of this publication is not available (Why is that?)
Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42)
Related Items (3)
Extensions for open default theories via the domain closure assumption ⋮ Extensions for open default theories via the domain closure assumption ⋮ Seminormalizing a default theory
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 Q5309602)
