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

Automated Deduction - CADE-11

106.99 EUR

Teilen:

Ähnliche Produkte

Automated Deduction

Automated Deduction - CADE-15

53.49 EUR
Automated Deduction

Automated Deduction - CADE-18

53.49 EUR

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

84.94 EUR
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 -

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-14

53.49 EUR
Automated Deduction -

Automated Deduction -- CADE-24

42.79 EUR