scientific article; zbMATH DE number 1418449
From MaRDI portal
Publication:4942004
zbMATH Open0958.03008MaRDI QIDQ4942004
Publication date: 19 March 2001
Title of this publication is not available (Why is that?)
Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)
Related Items (4)
From decision problems to dethroned dictators ⋮ Resolution decision procedures ⋮ Principles and Practice of Constraint Programming – CP 2003 ⋮ Title not available (Why is that?)
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 Q4942004)
