Using Connectionist Networks for Guiding the Search of a Theorem Prover

Suttner, Christian und Wolfgang Ertel:

Edité par München : Technische Universität, 1990
Etat : Occasion Couverture souple

Vendu par Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne

Vendeur AbeBooks depuis 12 février 2002

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Afficher tous les articles du vendeur


Ancien(s) ou d'occasion - Couverture souple

Prix:
EUR 7
Expédition à EUR 42
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier