Verwandte Artikel zu Logic-Based Program Synthesis and Transformation: 33rd...

Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings: 14330 (Lecture Notes in Computer Science) - Softcover

 
9783031457838: Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings: 14330 (Lecture Notes in Computer Science)

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

EUR 5,50 für den Versand von Italien nach USA

Versandziele, Kosten & Dauer

Suchergebnisse für Logic-Based Program Synthesis and Transformation: 33rd...

Beispielbild für diese ISBN

Glück, Robert
Verlag: Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Softcover

Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: new. Bestandsnummer des Verkäufers LLOFEW11M1

Verkäufer kontaktieren

Neu kaufen

EUR 50,23
Währung umrechnen
Versand: EUR 5,50
Von Italien nach USA
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Glück, Robert
Verlag: Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Softcover

Anbieter: Brook Bookstore, Milano, MI, Italien

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: new. Bestandsnummer des Verkäufers LLOFEW11M1

Verkäufer kontaktieren

Neu kaufen

EUR 50,25
Währung umrechnen
Versand: EUR 8,00
Von Italien nach USA
Versandziele, Kosten & Dauer

Anzahl: 5 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Robert Glueck
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Paperback Erstausgabe

Anbieter: Grand Eagle Retail, Mason, OH, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: 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. Bestandsnummer des Verkäufers 9783031457838

Verkäufer kontaktieren

Neu kaufen

EUR 59,24
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 1 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Softcover

Anbieter: California Books, Miami, FL, USA

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Bestandsnummer des Verkäufers I-9783031457838

Verkäufer kontaktieren

Neu kaufen

EUR 64,90
Währung umrechnen
Versand: Gratis
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. In. Bestandsnummer des Verkäufers ria9783031457838_new

Verkäufer kontaktieren

Neu kaufen

EUR 57,96
Währung umrechnen
Versand: EUR 13,72
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verfügbar

In den Warenkorb

Foto des Verkäufers

Bishoksan Kafle
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Taschenbuch
Print-on-Demand

Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Taschenbuch. Zustand: 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. Bestandsnummer des Verkäufers 9783031457838

Verkäufer kontaktieren

Neu kaufen

EUR 58,84
Währung umrechnen
Versand: EUR 23,00
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Softcover

Anbieter: Books Puddle, New York, NY, USA

Verkäuferbewertung 4 von 5 Sternen 4 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. pp. 224. Bestandsnummer des Verkäufers 26398553638

Verkäufer kontaktieren

Neu kaufen

EUR 82,64
Währung umrechnen
Versand: EUR 3,40
Innerhalb der USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Glück, Robert (Editor)/ Kafle, Bishoksan (Editor)
Verlag: Springer Nature, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Paperback
Print-on-Demand

Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Paperback. Zustand: Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __3031457838

Verkäufer kontaktieren

Neu kaufen

EUR 58,98
Währung umrechnen
Versand: EUR 28,64
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 2 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Softcover
Print-on-Demand

Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. Print on Demand pp. 224. Bestandsnummer des Verkäufers 397856249

Verkäufer kontaktieren

Neu kaufen

EUR 84,75
Währung umrechnen
Versand: EUR 7,45
Von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Beispielbild für diese ISBN

Verlag: Springer, 2023
ISBN 10: 3031457838 ISBN 13: 9783031457838
Neu Softcover
Print-on-Demand

Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Zustand: New. PRINT ON DEMAND pp. 224. Bestandsnummer des Verkäufers 18398553644

Verkäufer kontaktieren

Neu kaufen

EUR 87,61
Währung umrechnen
Versand: EUR 9,95
Von Deutschland nach USA
Versandziele, Kosten & Dauer

Anzahl: 4 verfügbar

In den Warenkorb

Es gibt 5 weitere Exemplare dieses Buches

Alle Suchergebnisse ansehen