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

Automated Theorem Proving

118.00 EUR 99.59 EUR 16% Off

Teilen:
Gesponsert

Automated Theorem Proving (Artificial Intelligence): A Logical Basis (Künstliche Intelligenz)

Medimops DE
99.59 EUR
28-10-2026 17:50:42
Gesponsert

Automated Theorem Proving

Hugendubel
106.99 EUR
29-10-2026 09:09:43
Gesponsert

Automated Theorem Proving

SpringerLink DE
118.00 EUR
01-11-2026 19:02:41

Ä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)

96.29 EUR
Automated Theorem Proving

Automated Theorem Proving

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

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

208.02 EUR
Automated Theorem Proving

Automated Theorem Proving

177.00 EUR