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

Preise von
89,80

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (1)

Beschreibung

Amazon First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Description Beschreibung
Product Specifications Produktspezifikationen
Related Products Vergleichbare Produkte
?>
Next
Previous

Webshops vergleichen (1)

Shop
Preis
Versandkosten
Total price
Amazon Logo
89,80 €
Gratis
89,80 €
Zum Shop
Gratis Shipping Costs
Beschreibung (1)

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

Produktspezifikationen

Marken Springer
EAN
  • 9781461275152

Preise zuletzt aktualisiert am:

Springer

Automated Theorem Proving in Software Engineering

64,19 €
Weitere Informationen Mehr Infos

Dover publications

Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover...

30,79 €
Weitere Informationen Mehr Infos

North-Holland

Automated Theorem Proving: A Logical Basis

58,80 €
Weitere Informationen Mehr Infos

Springer

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions...

82,80 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
89,80 €
Zum Shop