logo
inversion

컨퍼런스 결과 (1)

International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR)

Rank: COffline
Castello di Rende University of Calabria, Rende, Italy
Sep 9, 2025 - Sep 10, 2025
Logic-based program developmentsynthesistransformation+13 더 보기