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
Mathematics Subject Classification ID
Knowledge representation (68T30) Structure of proofs (03F07)