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

Preise von
96,29

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

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
96,29 €
Gratis
96,29 €
Zum Shop
Gratis Shipping Costs
Amazon Marketplace Logo
96,29 €
Gratis
96,29 €
Zum Shop
Gratis Shipping Costs
Beschreibung (0)

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

Produktspezifikationen

Marken Springer
EAN
  • 9781461275152

Springer

Automated Theorem Proving in Software Engineering

53,49 €
Weitere Informationen Mehr Infos

Springer, Springer

Higher Order Logic Theorem Proving and Its Applications Thomas F. Melham

53,49 €
Weitere Informationen Mehr Infos

Springer, Springer

Higher Order Logic Theorem Proving and Its Applications Jeffrey J. Joyce

53,49 €
Weitere Informationen Mehr Infos

Springer, Springer

Higher Order Logic Theorem Proving and Its Applications E. Thomas Schubert

53,49 €
Weitere Informationen Mehr Infos
Hervorgehobene Wahl
96,29 €
Zum Shop