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

Preise von
89,90

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

Amazon First-Order Logic and Automated Theorem Proving (Texts in Computer Science)
Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

Shop
Preis
Versandkosten
Total price
Amazon Logo
89,90 €
2,45 €
92,35 €
Zum Shop
2,45 € Shipping Costs
Amazon Marketplace Logo
89,90 €
2,45 €
92,35 €
Zum Shop
2,45 € Shipping Costs
Beschreibung (1)

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

Produktspezifikationen

Marken Springer
EAN
  • 9781461275152

Springer

Automated Theorem Proving in Software Engineering

64,19 €
2 Shops vergleichen 2 Shops

Springer

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

88,44 €
2 Shops vergleichen 2 Shops

Springer

Logic for Applications (Texts in Computer Science)

53,49 €
2 Shops vergleichen 2 Shops

Springer

First Order Dynamic Logic (Lecture Notes in Computer Science, 68, Band 68)

11,44 €
2 Shops vergleichen 2 Shops
Hervorgehobene Wahl
89,90 €
Zum Shop