GOEDEL: A computer language for symbolic algebraic calculations—an introduction by examples

From MaRDI portal
Publication:3750119