AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Preise von
11,98

Hervorgehoben

ALLE WEBSHOPS VERGLEICHEN (2)

Beschreibung

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Description Beschreibung
Product Specifications Produktspezifikationen
Verwandte Ergebnisse Verwandte Ergebnisse
Next
Previous

Webshops vergleichen (2)

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

AUTOMATED REASONING: Logical inference theorem proving and intelligent software systems

Produktspezifikationen

Marken Independently Published
EAN
  • 9798173692702

Independently Published

AUTOMATED REASONING IN COMPUTER SCIENCE: SAT Solving Constraint Systems Symbolic Methods Logical...

11,90 €
2 Shops vergleichen 2 Shops

Springer

Automated Theorem Proving in Software Engineering

53,49 €
Weitere Informationen Mehr Infos

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
Hervorgehobene Wahl
11,98 €
Zum Shop