scientific article

zbMATH Open1114.68531MaRDI QIDQ3409868

Irena Atanasova

Publication date: 20 November 2006

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

zbMATH Keywords

resolutiontableau systemSkolemization

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Recommendations

• Automated deduction by theory resolution 👍 👎
• Automated deduction for many-valued logics 👍 👎
• Automatic proving with disjunctive proving methods 👍 👎
• Automated Deduction in Gödel Logic 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• 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 Q3409868)