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

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

18-09-2026 13:30:00

Access to the deal

-10%

Gesponsert Automated Deduction - CADE 26

Hugendubel

85.49 EUR 94.50 EUR

16-09-2026 00:38:49

Access to the deal

-9%

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

Galaxus.de

85.59 EUR 94.50 EUR

17-09-2026 19:52:12

Access to the deal

Gesponsert Automated Deduction – CADE 26

SpringerLink DE

94.50 EUR 94.50 EUR

18-09-2026 18:10:49

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

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

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 27

Automated Deduction – CADE 29: 29th International Conference on Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings (Lecture Notes in Computer Science, 14132, Band 14132)

Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings (Lecture Notes in Computer Science, Band 12699)