Mantık Tabanlı Program Sentezi ve Dönüşümü: LOPSTR 2025

Logic-Based Program Synthesis and Transformation 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10,…

Santiago Escobar Laura Titolo pdf Diğer