Automated Theorem Proving: A Logical Basis

Amazon
Automated Theorem Proving: A Logical Basis

Abbildung von Automated Theorem Proving: A Logical Basis

Preise von

58,80

Hervorgehoben

58,80 €

Zum Shop

Beschreibung

Amazon Automated Theorem Proving: A Logical Basis

Webshops vergleichen (1)

Shop

Preis

Versandkosten

Total price

58,80 €

Gratis

58,80 €

Zum Shop

Gratis

Beschreibung (1)

Automated Theorem Proving: A Logical Basis

Produktspezifikationen

Marken	North-Holland
EAN	9781493305513

Preise zuletzt aktualisiert am: 04-06-2026, 01:53

Springer

Automated Theorem Proving in Software Engineering

64,19 €

Weitere Informationen Mehr Infos

Springer

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

89,80 €

Weitere Informationen Mehr Infos

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving...

22,53 €

Weitere Informationen Mehr Infos

Independently Published

Mathematical Logic and AI Reasoning Foundations Formal Methods & Automated Theorem Proving...

16,22 €

Weitere Informationen Mehr Infos

Hervorgehobene Wahl

58,80 €

Zum Shop