Mechanizing Hypothesis Formation

From MaRDI portal
Publication:5978436