Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

~~94.50 EUR~~ 85.04 EUR 10% Off

In diesem Sammelband der CADE‑26 werden die neuesten Erkenntnisse aus Göteborg präsentiert: theoretische Modelle, algorithmische Fortschritte und praxisnahe Anwendungen in Logik, KI und formaler Verifikation.

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

07-09-2026 05:48:05

Gesponsert

Automated Deduction – CADE 26

SpringerLink DE

94.50 EUR

07-09-2026 11:13:59

Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

Ähnliche Produkte