1. Home
  2. Medien
  3. Bücher
  4. Automated Deduction - CADE-19
  • #
  • #

Automated Deduction - CADE-19

53.49 EUR

Die Proceedings der CADE‑19 in Miami Beach präsentieren innovative Arbeiten zu automatisierten Beweisführungssystemen, logischen Formalismen und KI‑Anwendungen von internationalen Experten.

Teilen:

Ähnliche Produkte

Automated Deduction CADE-12

Automated Deduction CADE-12

52.94 EUR
Automated Deduction

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

52.94 EUR

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

84.94 EUR
Automated Deduction -

Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wroclaw, Poland, July 31 -- August 5, 2011, Proceedings

53.49 EUR
Automated Deduction

Automated Deduction - CADE-19

53.49 EUR
Automated Deduction CADE 29

Automated Deduction CADE 29

36.22 EUR
Automated Deduction -

Automated Deduction -- CADE-24

52.84 EUR
Automated Deduction ' CADE 28

Automated Deduction ' CADE 28

42.79 EUR