Acheter maintenant et ramasser en magasin

  • A Machine Program For Theorem-proving
Aperçu gratuit du livre A Machine Program For Theorem-proving

A Machine Program For Theorem-proving

Martin Davis , George Logemann , Donald Loveland
31 août 2011
18,99 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.    En Savoir Plus
.
Commande minimum de  1 articles
Vente ferme. Aucun retour ou échange.
La livraison de cet article sera effectuée sur rendez-vous par notre transporteur partenaire.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Obtenez 95 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
38
Publié par: Nabu Press
Dimensions à l’expédition: 10" H x 7" W x 1" L
ISBN: 9781179051789
Étape de vie: null

Vous aimerez peut-être aussi

Cotes et évaluations

  • bvseo_sdk, dw_cartridge, 18.2.0, p_sdk_3.2.0
  • CLOUD, getReviews, 6ms
  • reviews, product
  • bvseo-msg: Unsuccessful GET. status = 'ERROR', msg = 'Not Found.'; Unsuccessful GET. status = 'ERROR', msg = 'Not Found.';

Évaluation éditoriale

Auteur

D’autres ont aussi acheté

A Machine Program for Theorem-proving 5E2BCA41-1480-4025-B4D9-B9A48D246A5E
A Machine Program for Theorem-proving
https://dynamic.indigoimages.ca/v1/books/books/1342126289/1.jpg
29.81
A Machine Program For Theorem-proving
https://dynamic.indigoimages.ca/v1/books/books/1179051785/1.jpg
18.99