Automated Deduction - A Basis for Applications Volume I Foundations | DealShopping Deutschland
  1. Home
  2. Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A
  • #

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

213.99 EUR 160.49 EUR 25% Off

Teilen:

Ähnliche Produkte

Automated Deduction

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

160.49 EUR
9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

9Th International Conference On Automated Deduction: Argonne, Illinois, USA, May 23-26, 1988. Proceedings

104.34 EUR
Automated Deduction CADE 29

Automated Deduction CADE 29

39.98 EUR
Automated Deduction ' CADE 28

Automated Deduction ' CADE 28

42.79 EUR
Automated Deduction

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

177.00 EUR
Automated Deduction

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

117.69 EUR