Publication:3838801
From MaRDI portal
zbMath0913.03022MaRDI QIDQ3838801
Publication date: 7 June 1999
automatic theorem proving; proof plans; science of reasoning; scientific theory formation; structures of proofs; understanding of mathematical proofs
03B35: Mechanization of proofs and logical operations
03F07: Structure of proofs
00A35: Methodology of mathematics