Automatic Construction of Implicative Theories for Mathematical Domains (Berichte aus der Informatik)
von
Artem Revenko
Taschenbuch
Details (
Deutschland
)
ISBN: 978-3-8440-3919-1
ISBN-10: 3-8440-3919-8
Shaker
· 2015
