On the unsolvability of problems of guaranteed search in a sufficiently large domain

From MaRDI portal
Publication:5954768