Jan Rauch; Milan Šim?nek; David Chudán; Petr Máša <br/><br/>
Mechanizing Hypothesis Formation:Principles and Case Studies 

 -  Taylor and Francis  2022 
<br/><br/><label>ISBN: </label>9781003091448 
<br/><br/><label>Source: </label>EBOOK