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
Read the Book
📔 Ask your question in the NotebookLM notebook; answers come sourced from the book itself.