Wu, XindongManchi, Kalyani K.2022-09-272022-09-272000https://hdl.handle.net/11124/15230Includes bibliographical references (pages 59-62).masters thesesengCopyright of the original work is retained by the author.Machine learningInduction (Mathematics)Dynamic deduction of induction rulesText