Mechanizing Hypothesis Formation

From MaRDI portal
Publication:5978436

DOI10.1007/978-3-642-66943-9MaRDI QIDQ5978436

Petr Hájek, Tomáš Havránek

Publication date: 1978





Related Items (1)







This page was built for publication: Mechanizing Hypothesis Formation