Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings - Couverture souple
Synopsis
This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023.
The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Logic-Based Program Synthesis and Transformation: 33rd...
Image d'archives
Logic Based Program Synthesis and Transformation (eng)
Vendeur : Brook Bookstore, Milano, MI, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. N° de réf. du vendeur LLOFEW11M1
Acheter neuf
EUR 45,49
Frais de port :
EUR 8
De Italie vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Trans (eng)
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 4 sur 5 étoiles
Etat : new. N° de réf. du vendeur LLOFEW11M1
Acheter neuf
EUR 50,23
Frais de port :
EUR 5,50
De Italie vers Etats-Unis
Quantité disponible : 5 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation (Paperback)
Edité par
Springer International Publishing AG, Cham, 2023
ISBN 10 : 3031457838
ISBN 13 : 9783031457838
Neuf
Paperback
Edition originale
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning. This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783031457838
Acheter neuf
EUR 56,60
Frais de port :
Gratuit
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
impression à la demandeVendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __3031457838
Acheter neuf
EUR 58,58
Frais de port :
EUR 11,38
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783031457838_new
Acheter neuf
EUR 57,56
Frais de port :
EUR 13,63
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logic-Based Program Synthesis and Transformation
ISBN 10 : 3031457838
ISBN 13 : 9783031457838
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, duringOctober 23-24, 2023.The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from29submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis;Static analysis and Type systems;Unification and substitution in (C)LP; andKnowledge representation and AI-based learning. 224 pp. Englisch. N° de réf. du vendeur 9783031457838
Acheter neuf
EUR 58,84
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 224. N° de réf. du vendeur 26398553638
Acheter neuf
EUR 81,58
Frais de port :
EUR 3,46
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 224. N° de réf. du vendeur 397856249
Acheter neuf
EUR 85,62
Frais de port :
EUR 7,39
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 224. N° de réf. du vendeur 18398553644
Acheter neuf
EUR 85,74
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. N° de réf. du vendeur x-3031457838
Acheter neuf
EUR 84,88
Frais de port :
EUR 11,38
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)