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

Automated Deduction CADE-12

53.49 EUR 52.94 EUR 1% Off

Teilen:

Ähnliche Produkte

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

Automated Deduction CADE-20

53.49 EUR
Automated Deduction

Automated Deduction - CADE-14

53.49 EUR
Automated Deduction

Automated Deduction - CADE-16

53.49 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-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

53.49 EUR