Mother Teresa University Skopje Macedonia

  1. Home
  2. search page
  3. affiliation

Mother Teresa University Skopje Macedonia

국가: Macedonia
주요 연구 분야: Strategies
주요 키워드: #algorithm #combine #synthesizing
주요 저자:
#Aleksandar S Dimovski

📄 기관 상세정보

출판수1
총 인용수1
평균 인용수1.00
저자 수1
좋아요 수0
연도별 출판 논문
파트별 논문
기관 키워드
공동 기관 관계도

논문 목록 (1건)

Imperative Program Synthesis by Abstract Static Analysis and SMT Mutations
저자: Aleksandar S Dimovski
키워드: #algorithm #combine #synthesizing #formulas #implemented
파트: Strategies | 연도: 2025