Martin Protzen

M P · Martin P.

TitelISBN-13
(ISBN-10)
Erscheinungsjahr
Lazy Generation of Induction Hypotheses and Patching Faulty Conjectures978-3-896O1-O98-8
(3-896O1-O98-O)
1995

Martin PROVENCHER