scientific article
From MaRDI portal
Publication:3838801
zbMath0913.03022MaRDI QIDQ3838801
Publication date: 7 June 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
automatic theorem provingproof plansscience of reasoningscientific theory formationstructures of proofsunderstanding of mathematical proofs
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Automating Event-B invariant proofs by rippling and proof patching ⋮ Understanding and maintaining tactics graphically OR how we are learning that a diagram can be worth more than 10K LoC
This page was built for publication:
