Normal view
MARC view
Jan Rauch; Milan Šim?nek; David Chudán; Petr Máša(Personal Name)
Machine generated authority record
Work cat.: (OSt)1608937: Jan Rauch; Milan Šim?nek; David Chudán; Petr Máša, Mechanizing Hypothesis Formation:Principles and Case Studies