AUTOMATED THEOREM PROVING: Logical Inference Proof Search Decision Procedures and Computational Reasoning

Preise von
12,93

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

AUTOMATED THEOREM PROVING: Logical Inference Proof Search Decision Procedures and Computational Reasoning

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
12,93 €
Gratis
12,93 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

AUTOMATED THEOREM PROVING: Logical Inference Proof Search Decision Procedures and Computational Reasoning

Produktspezifikationen

Marken Independently Published
EAN
  • 9798170626106

Independently Published

INTERACTIVE THEOREM PROVING: Proof Assistants Formal Logic Mathematical Reasoning and Verified Computation

12,93 €
2 Shops vergleichen 2 Shops

Vieweg+Teubner Verlag, Vieweg+Teubner Verlag

Automated Theorem Proving Wolfgang Bibel

106,99 €
Weitere Informationen Mehr Infos

Vieweg+Teubner Verlag, Vieweg+Teubner Verlag

Automated Theorem Proving Wolfgang Bibel

54,99 €
Weitere Informationen Mehr Infos

Springer

Automated Theorem Proving in Software Engineering

64,19 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
12,93 €
Zum Shop