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

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings - Couverture souple

 
9783642405365: Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
Couverture souple
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
Editeur : Springer, 2013

Acheter D'occasion

état :  Très bon
Zustand: Sehr gut - Auflage 2013...
Afficher cet article
9783642405365: Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
EUR 36,38

Autre devise

EUR 45 expédition depuis Allemagne vers Etats-Unis

Destinations, frais et délais

Acheter neuf

Afficher cet article
9783642405365: Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings
EUR 49,57

Autre devise

EUR 3,53 expédition vers Etats-Unis

Destinations, frais et délais

Autres éditions populaires du même titre

9783642405389: Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Edition présentée

ISBN 10 :  364240538X ISBN 13 :  9783642405389
Editeur : Springer, 2013
Couverture souple

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

Image d'archives

Edité par Springer, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
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 ABLIING23Mar3113020226150

Contacter le vendeur

Acheter neuf

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

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image d'archives

Galmiche, Didier
Edité par Springer 2013-08, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
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-9783642405365

Contacter le vendeur

Acheter neuf

EUR 49,68
Autre devise
Frais de port : EUR 18,22
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 10 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
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 ria9783642405365_new

Contacter le vendeur

Acheter neuf

EUR 55,27
Autre devise
Frais de port : EUR 14,09
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

Dominique Larchey-Wendling
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
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 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and connection method), new calculi and methods for theorem proving and verification in classical and non-classical logics, systems, tools, implementations and applications as well as automated deduction and formal methods applied to logic, mathematics, software development, protocol verification, and security. 300 pp. Englisch. N° de réf. du vendeur 9783642405365

Contacter le vendeur

Acheter neuf

EUR 49,22
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 d'archives

Edité par Springer, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

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

Etat : New. pp. 300. N° de réf. du vendeur 2698175816

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Dominique Larchey-Wendling
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
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 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together with 4 system descriptions were carefully reviewed and selected from 38 submissions. The papers cover many topics as proof-theory in classical and non-classical logics, analytic tableaux for various logics, related techniques and concepts, e.g., model checking and BDDs, related methods (model elimination, sequent calculi, resolution, and connection method), new calculi and methods for theorem proving and verification in classical and non-classical logics, systems, tools, implementations and applications as well as automated deduction and formal methods applied to logic, mathematics, software development, protocol verification, and security. N° de réf. du vendeur 9783642405365

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Unbekannt
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
Ancien ou d'occasion Couverture souple

Vendeur : Buchpark, Trebbin, Allemagne

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

Etat : Sehr gut. Zustand: Sehr gut - Auflage 2013 | Seiten: 300 | Sprache: Englisch | Produktart: Bücher. N° de réf. du vendeur 24097496/12

Contacter le vendeur

Acheter D'occasion

EUR 36,38
Autre devise
Frais de port : EUR 45
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Larchey-Wendling Dominique Galmiche Didier
Edité par Springer, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
Neuf Couverture souple
impression à la demande

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

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

Etat : New. PRINT ON DEMAND pp. 300. N° de réf. du vendeur 1898175810

Contacter le vendeur

Acheter neuf

EUR 71,70
Autre devise
Frais de port : EUR 9,95
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Galmiche, Didier (Edited by)/ Larchey-Wendling, Dominique (Edited by)
Edité par Springer, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
Neuf Paperback

Vendeur : Revaluation Books, Exeter, Royaume-Uni

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

Paperback. Etat : Brand New. 2013 edition. 299 pages. 9.00x6.10x0.70 inches. In Stock. N° de réf. du vendeur x-3642405363

Contacter le vendeur

Acheter neuf

EUR 73,55
Autre devise
Frais de port : EUR 11,76
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Galmiche, Didier|Larchey-Wendling, Dominique
Edité par Springer Berlin Heidelberg, 2013
ISBN 10 : 3642405363 ISBN 13 : 9783642405365
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

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

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the 22th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2013, held in Nancy, France, in September 2013. The 20 revised research papers presented together. N° de réf. du vendeur 5059670

Contacter le vendeur

Acheter neuf

EUR 44,88
Autre devise
Frais de port : EUR 48,99
De Allemagne vers Etats-Unis
Destinations, frais et délais

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

There are 1 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre