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

Automated Theorem Proving

106.99 EUR 99.59 EUR 7% Off

Teilen:
Gesponsert

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

Medimops DE
99.59 EUR
21-04-2026 18:24:56
Gesponsert

Automated Theorem Proving

SpringerLink DE
106.99 EUR
21-04-2026 21:04:02

Ä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

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

174.35 EUR
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)

90.34 EUR
Automated Theorem Proving

Automated Theorem Proving

54.99 EUR
Automated Theorem Proving

Automated Theorem Proving

160.49 EUR
Automated Theorem Proving in Software Engineering

Automated Theorem Proving in Software Engineering

53.49 EUR
Automated Theorem Proving

Automated Theorem Proving

96.29 EUR