Mechanizing Hypothesis Formation: Principles and Case Studies
by Jan Rauch,Milan Šimunek,David Chudán,Petr Máša
ISBN 13: 9780367549800
Format: Hardcover (346 pages) Publisher: CRC Press Published: 20 Oct 2022
Save for later