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
07-09-2026 06:00:11
Gesponsert

Automated Theorem Proving

SpringerLink DE
58.11 EUR
07-09-2026 11:27:44

Ähnliche Produkte

Automated Theorem Proving: Theory and Practice

Automated Theorem Proving: Theory and Practice

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

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

92.94 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
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.10 EUR
Automated Theorem Proving

Automated Theorem Proving

113.50 EUR