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
Mechanizing Hypothesis Formation:Principles and Case Studies - Taylor and Francis 2022
9781003091448
EBOOK
