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

184.95 EUR

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

213.99 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 CADE-12

Automated Deduction CADE-12

52.94 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

197.54 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