TY  - BOOK
AU  - Jan Rauch; Milan Šim?nek; David Chudán; Petr Máša
TI  - Mechanizing Hypothesis Formation:Principles and Case Studies
SN  - 9781003091448
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9781003091448
ER  -