Artem Revenko
Automatic Construction of Implicative Theories for Mathematical Domains
ISBN: 978-3-8440-3919-1
Preis: 45,80 € / 57,25 SFR