The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence) | Cover
Das ist kein Original-Foto des angebotenen Exemplares. Abweichungen sind möglich.
  1. Bücher
  2. The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence)

The Efficiency of Theorem Proving Strategies: A Comparative and Asymptotic Analysis (Computational Intelligence) [paperback]

von: David A. Plaisted

Gebraucht kaufen

27,99 €*

Gebraucht, Gut 
Versandfertig: sofort

Später kaufen

📦
Kostenfreier Versand ab 20 € Bestellwert
Nur noch 20,00 € bis zum kostenfreien Versand innerhalb Deutschlands

*alle Preise inkl. MwSt. zzgl. Versandkosten

ISBN-13: 9783528055745, ISBN-10: 352805574X

paperback:

Verlag: Vieweg+Teubner Verlag

Erscheinungsjahr: 1997

Größe: 20,8 cm x 14,8 cm x 1,2 cm

Gewicht: 240 g