Aperçu gratuit du livre Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

Automated Reasoning With Analytic Tableaux And Related Methods: 26th International Conference, Tableaux 2017, Brasilia, Brazil, September 25-28, 2017, Proceedings

31 août 2017
102,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 513 points et profitez d’un rabais additionnel avec plum+.  .

Description

Publié par: Springer Nature
Dimensions à l’expédition: 9" H x 6" W x 1" L
ISBN: 9783319669014
É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


Auteur