Mechanizing Hypothesis Formation:Principles and Case Studies

Jan Rauch; Milan Šim?nek; David Chudán; Petr Máša

Mechanizing Hypothesis Formation:Principles and Case Studies - Taylor and Francis 2022

9781003091448

EBOOK