Computing queries with higher-order logics

From MaRDI portal
Publication:2369013