Bücher nach ISBN
>
Shaker
> Artem Revenko
Artem Revenko
A. R.
Titel
ISBN-13
(ISBN-10)
Erscheinungsjahr
Automatic Construction of Implicative Theories for Mathematical Domains
978-3-844O-3919-1
(3-844O-3919-8)
2015
Artem Rublev