Mechanized Indexing Methods and Their Testing

From MaRDI portal
Publication:5731181