rhein-team

Automated Theorem Proving

Springer-Verlag GmbH
(231 Seiten)
Sprache: Deutsch
Sofort lieferbar
Versandkostenfrei in Deutschland
201,76*