Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings (Lecture Notes in Computer Science, 14330)
I will be using this book for:
Log in to remove ads

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

by Robert Glück, Bishoksan Kafle

Programming Computer Science
1 Star 2 Star 3 Star 4 Star 5 Star
0.0 out of 5 stars (0 ratings)
View on Amazon View on BAM Trade it in for cash!

Official proceedings from LOPSTR 2023 covering recent advances in logic-based program synthesis and transformation research.

ISBN-13 9783031457838 ASIN 3031457838 Views 49 Publisher Springer Year 2023 Edition 2023 ed. Format Paperback Product Group Book Pages 223 Adult No Created March 09, 2026 Updated September 14, 2026
About This Book

This volume contains the proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation.

The symposium was held in Cascais, Portugal on October 23-24, 2023.

Editors Robert Glück and Bishoksan Kafle have compiled the presented papers into this Lecture Notes in Computer Science edition.

Reviews

No reviews yet. Be the first to review this book!

Write a Review
I will be using this book for: