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

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

213.99 EUR 184.95 EUR 14% 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-12

Automated Deduction CADE-12

52.94 EUR
Automated Deduction

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

213.99 EUR
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
Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)

Proof Theory and Automated Deduction (Applied Logic Series, 6, Band 6)

48.98 EUR
Automated Deduction

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

213.99 EUR