Articles liés à Automated Reasoning with Analytic Tableaux and Related...

Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings - Couverture souple

 
9783319243115: Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
Couverture souple
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Editeur : Springer, 2015
  • ÉditeurSpringer
  • Date d'édition2015
  • ISBN 10 331924311X
  • ISBN 13 9783319243115
  • ReliureBroché
  • Langueanglais
  • Numéro d'édition1
  • Nombre de pages372
  • ÉditeurDe Nivelle Hans

Acheter D'occasion

état :  Comme neuf
Unread book in perfect condition...
Afficher cet article
9783319243115: Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
EUR 56,75

Autre devise

EUR 2,32 expédition vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783319243115: Automated Reasoning with Analytic Tableaux and Related Methods: 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
EUR 53,85

Autre devise

EUR 3,50 expédition vers Etats-Unis

Destinations, frais et délais

Résultats de recherche pour Automated Reasoning with Analytic Tableaux and Related...

Image d'archives

Edité par Springer, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020091574

Contacter le vendeur

Acheter neuf

EUR 53,85
Autre devise
Frais de port : EUR 3,50
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

De Nivelle, Hans (EDT)
Edité par Springer, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 24460599-n

Contacter le vendeur

Acheter neuf

EUR 55,06
Autre devise
Frais de port : EUR 2,32
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

De Nivelle, Hans (EDT)
Edité par Springer, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 24460599

Contacter le vendeur

Acheter D'occasion

EUR 56,75
Autre devise
Frais de port : EUR 2,32
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf Couverture souple

Vendeur : California Books, Miami, FL, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur I-9783319243115

Contacter le vendeur

Acheter neuf

EUR 66,92
Autre devise
Frais de port : Gratuit
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Edité par Springer, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. In. N° de réf. du vendeur ria9783319243115_new

Contacter le vendeur

Acheter neuf

EUR 61,62
Autre devise
Frais de port : EUR 14,11
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

De Nivelle, Hans (EDT)
Edité par Springer, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Ancien ou d'occasion Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 24460599

Contacter le vendeur

Acheter D'occasion

EUR 58,80
Autre devise
Frais de port : EUR 17,66
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Hans De Nivelle
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf Taschenbuch
impression à la demande

Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications. 372 pp. Englisch. N° de réf. du vendeur 9783319243115

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 23
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

De Nivelle, Hans (EDT)
Edité par Springer, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur 24460599-n

Contacter le vendeur

Acheter neuf

EUR 61,61
Autre devise
Frais de port : EUR 17,66
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

De Nivelle, Hans
Edité par Springer 2015-11, 2015
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783319243115

Contacter le vendeur

Acheter neuf

EUR 62,10
Autre devise
Frais de port : EUR 18,24
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Hans De Nivelle
ISBN 10 : 331924311X ISBN 13 : 9783319243115
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 24th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2015, held in Wroclaw, Poland, in September 2015. The 19 full papers and 2 papers presented in this volume were carefully reviewed and selected from 34 submissions. They are organized in topical sections named: tableaux calculi; sequent calculus; resolution; other calculi; and applications. N° de réf. du vendeur 9783319243115

Contacter le vendeur

Acheter neuf

EUR 53,49
Autre devise
Frais de port : EUR 30,81
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre