Interactive error correction in implicative theories

From MaRDI portal
Publication:899138