Using Connectionist Networks for Guiding the Search of a Theorem Prover

Suttner, Christian und Wolfgang Ertel:

Editorial: München : Technische Universität, 1990
Condición: Usado Encuadernación de tapa blanda

Vendido por Roland Antiquariat UG haftungsbeschränkt, Weinheim, Alemania

Vendedor de AbeBooks desde 12 de febrero de 2002

Calificación del vendedor: 5 de 5 estrellas Valoración 5 estrellas, Más información sobre las valoraciones de los vendedores

Ver los artículos de este vendedor


Usado - Encuadernación de tapa blanda

Precio:
EUR 7,00
Envío por EUR 42,00
Se envía de Alemania a Estados Unidos de America

Cantidad disponible: 1 disponibles

Añadir al carrito