Proof Substitute for the Humdrum Toolkit 라이센스: 무료 파일 크기: N/A 사용자 평가: 5.0/5 - 1 투표 다운로드 자바의 험드럼 툴킷에서 증명 명령의 재구현 버전 기록 버전 files 에 게시 2011-02-05몇 가지 수정 및 업데이트 버전 N/A 에 게시 2011-02-05 프로그램 세부 정보 범주: 교육 > 다른 게시자: kern-proof.sf.net 라이센스: 무료 가격: N/A 버전: Array 플랫폼: windows