Free Preview of Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Simply sign in or create your free Kobo account to get started. Read eBooks on any Kobo eReader or with the free Kobo App.
Why Kobo?
With over 6 million of the world’s best eBooks to choose from, Kobo offers you a whole world of reading. Go shelf-less with your library and enjoy reward points with every purchase.
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings/en-ca/logic-based-program-synthesis-and-transformation-33rd-international-symposium-lopstr-2023-cascais-portugal-october-23-24-2023-proceedings/CB7481E1-A503-4EC0-85CB-1EFC2BE4C373.htmlCB7481E1-A503-4EC0-85CB-1EFC2BE4C373
Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings