Automated Deduction ¿ CADE 26

84.94 EUR 1% Off 85.59 EUR

Der CADE‑26 Sammelband aus Göteborg 2017 fasst aktuelle Theorien der automatisierten Deduktion zusammen, beleuchtet neue Algorithmen und zeigt praxisnahe Anwendungen in Logik, KI und formaler Verifikation.

Marke: Leonardo de Moura
ISBN: 3319630458