Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2024
From Data to Models and Back From Data to Models and Back
2022
From Data to Models and Back From Data to Models and Back
2021