1. Home
  2. Automated Theorem Proving: A Logical Basis
  • #

Automated Theorem Proving: A Logical Basis

54.99 EUR

Teilen:
Gesponsert

Automated Theorem Proving: A Logical Basis

Hugendubel
54.99 EUR
26-01-2025 07:44:57

Ähnliche Produkte

Automated Theorem Proving

Automated Theorem Proving

99.59 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
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