Automated Reasoning (Paperback)

Langue : anglais

Edité par Springer International Publishing AG, Cham, 2024

3031635000 / 9783031635007

Vendeur : AussieBookSeller, Truganina, VIC, AustralieAussieBookSeller

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 22 juin 2007

Livre broché

Etat: Neuf

EUR 132,81

EUR 33,00 expédition 
Expédition depuis Australie vers Etats-Unis

Quantité disponible : 1 disponible

Ajouter au panier
Retours gratuits sous 30 jours

A propos de cet article

Paperback. Infotext (nur auf Basis des Vorgaengers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024.The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models.This book is open access. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.

N° de réf. du vendeur 9783031635007

Titre
Automated Reasoning (Paperback)
Auteur
Christoph Benzmueller
Éditeur
Springer International Publishing AG, Cham
Année de publication
2024
État de l'article
new
Reliure
Paperback
Langue
anglais
ISBN à 10 chiffres
3031635000
ISBN à 13 chiffres
9783031635007

AussieBookSeller

Truganina, VIC, Australie

Vendeur avec une évaluation de 5 étoiles

Vendeur AbeBooks depuis 22 juin 2007

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

Article25 à 45 jours ouvrés8 à 14 jours ouvrés
Premier articleEUR 33,00EUR 39,24
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

Profil professionnel du vendeur

The Nile Group Pty Ltd

42 Apex Drive
Truganina, VIC Australie 3029