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
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.
Neu kaufen
Diesen Artikel anzeigen
EUR 50,23
EUR 5,50 für den Versand von Italien nach USA
Versandziele, Kosten & DauerSuchergebnisse für Logic-Based Program Synthesis and Transformation: 33rd...
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Trans (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers LLOFEW11M1
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Logic Based Program Synthesis and Transformation (eng)
Anbieter: Brook Bookstore, Milano, MI, Italien
Verkäuferbewertung 5 von 5 Sternen
Zustand: new. Bestandsnummer des Verkäufers LLOFEW11M1
Anzahl: 5 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation (Paperback)
Verlag:
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031457838
ISBN 13: 9783031457838
Neu
Paperback
Erstausgabe
Anbieter: Grand Eagle Retail, Mason, OH, USA
Verkäuferbewertung 5 von 5 Sternen
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
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783031457838
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783031457838_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Logic-Based Program Synthesis and Transformation
ISBN 10: 3031457838
ISBN 13: 9783031457838
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation
Anbieter: Books Puddle, New York, NY, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. pp. 224. Bestandsnummer des Verkäufers 26398553638
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
Print-on-DemandAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. This item is printed on demand. Bestandsnummer des Verkäufers __3031457838
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation
Print-on-DemandAnbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Print on Demand pp. 224. Bestandsnummer des Verkäufers 397856249
Anzahl: 4 verfügbar
Beispielbild für diese ISBN
Logic-Based Program Synthesis and Transformation
Print-on-DemandAnbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 224. Bestandsnummer des Verkäufers 18398553644
Anzahl: 4 verfügbar