scientific article; zbMATH DE number 1951638

zbMath1022.68612MaRDI QIDQ4413893

Paul Cairns, Jeremy Gow

Publication date: 21 July 2003

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Knowledge representation (68T30) Structure of proofs (03F07)

This page was built for publication: