scientific article; zbMATH DE number 1950249

zbMATH Open1015.03509MaRDI QIDQ4412847

Matthias Baaz

Publication date: 17 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2381/23810001.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 Q4412847)