Inductive inference machines for mathematical structures, nternational Congress of Logic, Methodology and Philosophy of Science, Oviedo, Spain. Conference Paper uri icon