Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Langue : anglais

Edité par Springer Netherlands, 2010

9048150507 / 9789048150502

Vendeur : moluna, Greven, Allemagnemoluna

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Livre broché

Etat: Neuf

EUR 227,74

EUR 48,99 expédition 
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

The nationwide research project `Deduktion , funded by the `Deutsche Forschungsgemeinschaft (DFG) for a period of six years, brought together almost all research groups within Germany engaged in the field of automated reasoning. Intensive cooperation an.

N° de réf. du vendeur 5818910

Titre
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Éditeur
Springer Netherlands
Année de publication
2010
État de l'article
New
Reliure
Couverture souple
Langue
anglais
ISBN à 10 chiffres
9048150507
ISBN à 13 chiffres
9789048150502

moluna

Greven, Allemagne

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 9 juillet 2020

Frais d'expédition de Allemagne vers Etats-Unis

Article26 à 60 jours ouvrés26 à 60 jours ouvrés
Premier articleEUR 48,99EUR 48,99
Les délais de livraison sont fixés par les vendeurs et varient en fonction du transporteur et du lieu. Les commandes transitant par les douanes peuvent être retardées et les acheteurs sont responsables de tous les droits ou frais associés. Les vendeurs peuvent vous contacter au sujet de frais supplémentaires afin de couvrir toute augmentation des coûts d'expédition de vos articles.

Modes de paiement

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay
  • Chèque
  • Paypal
  • Virement bancaire

Description de la boutique

Online Handel nur mit Neubüchern

Profil professionnel du vendeur

Moluna GmbH

Engberdingdamm 27
Greven, Allemagne 48268