9783528055745 - the efficiency of theorem proving strategies. a comparative and asymptotic analysis (2 resultados)
Idioma: Inglés
Editorial: Braunschweig, Wiesbaden: Vieweg & Sohn Verlagsgesellschaft, 1997
Serie: Computational Intelligence, Libro 27 de 27. Libro 27 de 27 - Computational Intelligence
- Tapa blanda
Librería: Antiquariat Bernhardt, Kassel, AlemaniaAntiquariat Bernhardt
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 36,00
Envío por EUR 49,90Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Broschiert Broschiert. Condición: Sehr gut. VI, 167 Seiten, Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei.…Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 236.
Idioma: Alemán
Editorial: Vieweg+Teubner Verlag
Serie: Computational Intelligence, Libro 27 de 27. Libro 27 de 27 - Computational Intelligence
- Tapa blanda
Librería: Buchmarie, Darmstadt, AlemaniaBuchmarie
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Aceptable
EUR 36,68
Envío por EUR 42,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good.
