몰리

몰레는 모달 논리의 크로스 플랫폼 판독이며, 이는 모달 시맨틱 TableAux 방법을 이용합니다.
지금 다운로드

몰리 순위 및 요약

광고

  • Rating:
  • 특허:
  • Freeware
  • 게시자 이름:
  • DEI, Politecnico di Milano
  • 운영체제:
  • Windows All
  • 파일 크기:
  • 2.2 MB

몰리 태그


몰리 설명

MOLLE는 MODAL LOGIC LOGIC LOONY 평가자입니다. MOLLE는 Java로 작성된 크로스 플랫폼 판사입니다.


몰리 관련 소프트웨어

회사 소개