Name: Automated Deduction ¿ CADE 26
Brand: Leonardo de Moura
SKU: ID11587265
Availability: InStock

Automated Deduction ¿ CADE 26

85.04 EUR 10% Off 94.50 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

-10%

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

85.04 EUR 94.50 EUR

26-07-2026 10:54:24

Access to the deal

-9%

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

Galaxus.de

85.59 EUR 94.50 EUR

26-07-2026 05:11:16

Access to the deal

Gesponsert Automated Deduction – CADE 26

SpringerLink DE

94.50 EUR 94.50 EUR

26-07-2026 08:08:41

Access to the deal

Automated Deduction ¿ CADE 26

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

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

Gesponsert Automated Deduction – CADE 26

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Deduction ¿ CADE 26

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

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

Gesponsert Automated Deduction – CADE 26

Ähnliche Produkte

Automated Deduction - CADE-25

Automated Deduction -- CADE-24

Automated Deduction - CADE-21

Automated Deduction CADE 27