Inductive inference of classes of computably enumerable vector spaces Presentation uri icon