Logic-Based Program Synthesis and Transformation: 33rd International Symposium, Lopstr 2023, Cascais, Portugal, October 23-24, 2023, Proceedings

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 ... Read More

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. Read Less

• All from $16.50
• New Books from $51.65
• Used Books from $64.46
• eBook from $16.50

• • eBook Details

  	This is a digital edition of this title. Rent eBook (5 Options) 30 Day Rental: $16.50 (Expires Jul 27, 2024) 60 Day Rental: $22.00 (Expires Aug 26, 2024) 90 Day Rental: $27.50 (Expires Sep 25, 2024) 120 Day Rental: $33.00 (Expires Oct 25, 2024) 180 Day Rental: $35.75 (Expires Dec 24, 2024) Buy eBook Lifetime Access: $54.99 Title: Logic-Based Program Synthesis and Transformation Publisher: Springer Nature Print ISBN: 9783031457838, 3031457838 eText ISBN: 9783031457845 Edition: 2023 2023 edition Format: EPUB eBook	$16.50 Rent eBook This is a digital eBook Nothing will be shipped to you Works with web browsers and the VitalSource app on all Windows, Mac, Chromebook, Kindle Fire, iOS, and Android devices Most eBooks are returnable within 14 days of purchase Questions? See our eBook FAQ