Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings: 14330 (Lecture Notes in Computer Science, 14330) - Softcover
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.
"synopsis" may belong to another edition of this title.
Search results for Logic-Based Program Synthesis and Transformation: 33rd...
Stock Image
Logic Based Program Synthesis and Transformation (eng)
Seller: Brook Bookstore, Milano, MI, Italy
Seller rating 4 out of 5 stars
Condition: new. Seller Inventory # LLOFEW11M1
Stock Image
Logic-Based Program Synthesis and Transformation (Paperback)
Published by
Springer International Publishing AG, Cham, 2023
ISBN 10: 3031457838
ISBN 13: 9783031457838
New
Paperback
First Edition
Seller: Grand Eagle Retail, Bensenville, IL, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: 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. Seller Inventory # 9783031457838
Stock Image
Logic-Based Program Synthesis and Trans (eng)
Seller: Brook Bookstore On Demand, Napoli, NA, Italy
Seller rating 4 out of 5 stars
Condition: new. Seller Inventory # LLOFEW11M1
Stock Image
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. This item is printed on demand. Seller Inventory # __3031457838
Stock Image
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
Condition: New. In. Seller Inventory # ria9783031457838_new
Buy New
£ 49.13
Shipping:
£ 11.98
From United Kingdom to U.S.A.
Quantity: Over 20 available
Seller Image
Logic-Based Program Synthesis and Transformation
Published by
Springer Nature Switzerland, Springer International Publishing Okt 2023, 2023
ISBN 10: 3031457838
ISBN 13: 9783031457838
New
Taschenbuch
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: 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. Seller Inventory # 9783031457838
Stock Image
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science)
Seller: Books Puddle, New York, NY, U.S.A.
Seller rating 4 out of 5 stars
Condition: New. pp. 224. Seller Inventory # 26398553638
Stock Image
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 DemandSeller: Majestic Books, Hounslow, United Kingdom
Seller rating 4 out of 5 stars
Condition: New. Print on Demand pp. 224. Seller Inventory # 397856249
Stock Image
Logic-based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 1921, 2023, Proceedings
Seller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 223 pages. 9.26x6.10x0.47 inches. In Stock. Seller Inventory # x-3031457838
Stock Image
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 DemandSeller: Biblios, Frankfurt am main, HESSE, Germany
Seller rating 5 out of 5 stars
Condition: New. PRINT ON DEMAND pp. 224. Seller Inventory # 18398553644