Inductive inference systems for learning classes of algorithmically generated sets and structures Chapter uri icon