Aperçu gratuit du livre Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

Stéphane Demri Édition : Deepak Kapur , Christoph Weidenbach
4 août 2014
80,50 $
Prix en ligne. Les prix et les offres peuvent différer en magasin.
.
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 403 points et profitez d’un rabais additionnel avec plum+.  .

Description

Convient aux personnes de
Langue
anglais
Pages
528
Lecture Notes in Artificial Intelligence
Publié par: Springer/Sci-Tech/Trade
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783319085869
Étape de vie: null

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

deepak kapur

Auteur