본문 바로가기
홈으로

국내학회

공정안전검색을 위한 반증예제 생성 알고리즘

  • 등록일2023-05-09

김진경, 문일, “공정안전검색을 위한 반증예제 생성 알고리즘”, 한국화학공학회 춘계 학술발표대회, 1997.04 

목록
TOP