Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095) | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095)
  • #

Automated Deduction in Equational Logic and Cubic Curves (Lecture Notes in Computer Science, 1095, Band 1095)

53.49 EUR 53.46 EUR 0% Off

Teilen:

Ähnliche Produkte

Automated Deduction

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 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
Instantiation Theory: On the Foundations of Automated Deduction

Instantiation Theory: On the Foundations of Automated Deduction

53.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
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