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

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-1%

Gesponsert Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6 - 11, 2017, Proceedings (Lecture Notes in Computer Science)

Medimops DE

84.94 EUR 85.59 EUR

23-04-2026 05:53:40

Access to the deal

Gesponsert Automated Deduction – CADE 26

SpringerLink DE

85.59 EUR 85.59 EUR

23-04-2026 09:09:27

Access to the deal

Gesponsert Automated Deduction - CADE 26, Fachbücher von Leonardo De Moura

Galaxus.de

85.59 EUR 85.59 EUR

23-04-2026 14:56:42

Access to the deal