Milan Šimůnek profile picture

Milan Šimůnek

Mechanizing Hypothesis Formation Principles and Case Studies
Mechanizing Hypothesis Formation