Jan Rauch; Milan Šimůnek; David Chudán; Petr Máša

Mechanizing Hypothesis Formation - CRC Press 2022

9781003091448


Mathematics