Knowledge Archives in Theorema: A Logic-Internal Approach

by Camelia Rosenkranz , Bruno Buchberger , Tudor Jebelean
Citations:1 - 1 self