Articles liés à Frontiers of Combining Systems: 14th International...

Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings - Couverture souple

 
9783031433689: Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
Couverture souple
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
Editeur : Springer, 2023

Synopsis

This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.

The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.
This is an open access book.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Éditeur
Springer
Date d'édition
2023
Langue
anglais
ISBN 10 
3031433688
ISBN 13 
9783031433689
Reliure
Broché
Numéro d'édition
1
Nombre de pages
292
Éditeur
Sattler Uli, Suda Martin
Coordonnées du fabricant
non disponible
Personne responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Allemagne

Acheter D'occasion

état :  Comme neuf
Most items will be dispatched the...
Afficher cet article
9783031433689: Frontiers of Combining Systems: 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20–22, 2023, Proceedings
EUR 28,34

Autre devise

EUR 6,11 expédition depuis Royaume-Uni vers Etats-Unis

Destinations, frais et délais

Résultats de recherche pour Frontiers of Combining Systems: 14th International...

Image fournie par le vendeur

Sattler, Uli
Edité par Springer, 2023
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
Ancien ou d'occasion Couverture souple

Vendeur : WeBuyBooks, Rossendale, LANCS, Royaume-Uni

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

Etat : Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind. N° de réf. du vendeur wbs1987275776

Contacter le vendeur

Acheter D'occasion

EUR 28,34
Autre devise
Frais de port : EUR 6,11
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Uli Sattler
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
Neuf Paperback Edition originale

Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis

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

Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book. This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031433689

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
Neuf Couverture souple

Vendeur : Best Price, Torrance, CA, Etats-Unis

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

Etat : New. SUPER FAST SHIPPING. N° de réf. du vendeur 9783031433689

Contacter le vendeur

Acheter neuf

EUR 44,22
Autre devise
Frais de port : EUR 6,85
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 2 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
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 ria9783031433689_new

Contacter le vendeur

Acheter neuf

EUR 46,48
Autre devise
Frais de port : EUR 13,82
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

Martin Suda
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
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 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023.The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They aregrouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving.This is an open access book. 292 pp. Englisch. N° de réf. du vendeur 9783031433689

Contacter le vendeur

Acheter neuf

EUR 42,79
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, 2023
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
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. 292. N° de réf. du vendeur 26398554172

Contacter le vendeur

Acheter neuf

EUR 62,69
Autre devise
Frais de port : EUR 3,42
Vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Sattler, Uli (Editor)/ Suda, Martin (Editor)
Edité par Springer-Nature New York Inc, 2023
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
Neuf Paperback
impression à la demande

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. 291 pages. 9.25x6.10x0.61 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3031433688

Contacter le vendeur

Acheter neuf

EUR 41,57
Autre devise
Frais de port : EUR 28,83
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
Neuf Couverture souple
impression à la demande

Vendeur : Majestic Books, Hounslow, Royaume-Uni

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

Etat : New. Print on Demand pp. 292. N° de réf. du vendeur 397855715

Contacter le vendeur

Acheter neuf

EUR 63,02
Autre devise
Frais de port : EUR 7,50
De Royaume-Uni vers Etats-Unis
Destinations, frais et délais

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2023
ISBN 10 : 3031433688 ISBN 13 : 9783031433689
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. 292. N° de réf. du vendeur 18398554166

Contacter le vendeur

Acheter neuf

EUR 65,38
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 fournie par le vendeur

ISBN 10 : 3031433688 ISBN 13 : 9783031433689
Neuf Kartoniert / Broschiert
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

Kartoniert / Broschiert. 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 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Auto. N° de réf. du vendeur 1027290362

Contacter le vendeur

Acheter neuf

EUR 39,60
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 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre