Jan Rauch; Milan Šimůnek; David Chudán; Petr Máša Mechanizing Hypothesis Formation - CRC Press 2022 ISBN: 9781003091448 Subjects--Topical Terms: Mathematics