Automated Deduction - CADE 26: 26th International Conference on Automated Deduction | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Automated Deduction - CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings
  • #

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

85.59 EUR 85.04 EUR 1% 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.

Teilen:

Ähnliche Produkte

Automated Deduction

Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

52.94 EUR
Automated Deduction -

Automated Deduction -- CADE-24

52.84 EUR
Automated Deduction

Automated Deduction - CADE-21

53.49 EUR
Automated Deduction

Automated Deduction - CADE 27: 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings

85.09 EUR
Automated Deduction ' CADE 28

Automated Deduction ' CADE 28

42.79 EUR
Automated Deduction CADE 29

Automated Deduction CADE 29

39.98 EUR