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

Automated Deduction CADE-20

53.49 EUR

Teilen:

Ähnliche Produkte

Automated Deduction

Automated Deduction - CADE-17: 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings

53.49 EUR
Automated Deduction CADE-12

Automated Deduction CADE-12

52.94 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

Automated Deduction - CADE-14

53.49 EUR

Automated Deduction - CADE-21

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

Automated Deduction - CADE-16

53.49 EUR

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

84.94 EUR