Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
(9783319630458) | Automated Deduction
Preis von (4 Angebote)85.04 EUR
Weitere Informationen
(9783319630458) | Automated Deduction
Springer-Verlag GmbH (9783319214009 / biography)
(9783642385735) | Automated Deduction
(9783642029585 / biography)
Stell dir vor, du löst 100 Rätsel, die von leicht bis nahezu unmöglich reichen – jedes erfordert scharfe Logik, Kreativität und ein Gespür für Muster; ein spannendes Denksport-Abenteuer.