logo
developing programs with the help of theorem provers or SAT/SMT solvers

컨퍼런스 결과 (1)

International Symposium on Functional and Logic Programming (FLOPS)

Rank: National: JapanOffline
Kumamoto, Japan
May 15, 2024 - May 17, 2024
functionallogicfunctional-logic programming+11 더 보기