Publication:3490990
From MaRDI portal
zbMath0708.68061MaRDI QIDQ3490990
Alan Bundy, Alan Smaill, Andrew Stevens, Frank van Harmelen, Jane Hesketh
Publication date: 1989
03B35: Mechanization of proofs and logical operations
Related Items
Rippling: A heuristic for guiding inductive proofs, Experiments with proof plans for induction, Induction using term orders, Middle-out reasoning for synthesis and induction
Uses Software