Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings: 33rd ... October 19–21, 2023, Proceedings: 14330 - Brossura
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Logic-Based Program Synthesis and Transformation: 33rd...
Foto dell'editore
Logic Based Program Synthesis and Transformation (eng)
Da: Brook Bookstore, Milano, MI, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: new. Codice articolo LLOFEW11M1
Compra nuovo
EUR 45,49
Spese di spedizione:
EUR 8,00
Da: Italia a: U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Logic-Based Program Synthesis and Trans (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 4 su 5 stelle
Condizione: new. Codice articolo LLOFEW11M1
Compra nuovo
EUR 50,23
Spese di spedizione:
EUR 5,50
Da: Italia a: U.S.A.
Quantità: 5 disponibili
Foto dell'editore
Logic-Based Program Synthesis and Transformation (Paperback)
Editore:
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031457838
ISBN 13: 9783031457838
Nuovo
Paperback
Prima edizione
Da: Grand Eagle Retail, Bensenville, IL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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. Codice articolo 9783031457838
Compra nuovo
EUR 56,61
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
Print on DemandDa: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. This item is printed on demand. Codice articolo __3031457838
Compra nuovo
EUR 58,62
Spese di spedizione:
EUR 11,38
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9783031457838_new
Compra nuovo
EUR 57,60
Spese di spedizione:
EUR 13,64
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Logic-Based Program Synthesis and Transformation
ISBN 10: 3031457838
ISBN 13: 9783031457838
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9783031457838
Compra nuovo
EUR 58,84
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 224. Codice articolo 26398553638
Compra nuovo
EUR 81,38
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 224. Codice articolo 397856249
Compra nuovo
EUR 85,49
Spese di spedizione:
EUR 7,40
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 224. Codice articolo 18398553644
Compra nuovo
EUR 86,16
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. Codice articolo x-3031457838
Compra nuovo
EUR 84,89
Spese di spedizione:
EUR 11,38
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili