Automated Theorem | DealShopping Deutschland
  1. Home
  2. Medien
  3. Bücher
  4. Automated Theorem Proving
  • #
  • #

Automated Theorem Proving

58.11 EUR 54.99 EUR 5% Off

Teilen:
Gesponsert

Automated Theorem Proving

Medimops DE
54.99 EUR
26-07-2026 11:35:56
Gesponsert

Automated Theorem Proving

SpringerLink DE
58.11 EUR
26-07-2026 09:16:55

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

128.39 EUR
First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

First-Order Logic and Automated Theorem Proving (Texts in Computer Science)

84.40 EUR
Automated Theorem Proving

Automated Theorem Proving

177.00 EUR
Automated Theorem Proving: A Logical Basis

Automated Theorem Proving: A Logical Basis

54.99 EUR
Automated Theorem Proving

Automated Theorem Proving

96.29 EUR
Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)

111.70 EUR