Iterative learning from texts and counterexamples using additional information

From MaRDI portal
Publication:415613