scientific article; zbMATH DE number 2090323

zbMATH Open1072.03516MaRDI QIDQ4809082

Matthias Baaz

Publication date: 12 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2392/23920517.htm

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

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Structure of proofs (03F07)

Related Items (1)

Understanding Resolution Proofs through Herbrand’s Theorem

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 Q4809082)