Spassgui는 sPASS에 대한 펄 / Tk 기반의 Gui (평등과 일차 논리에 대한 자동 정리 Prover)http://spass.mpi-sb.mpg.de .
버전 기록
- 버전 0.5 에 게시 2004-12-07
몇 가지 수정 및 업데이트 - 버전 0.5 에 게시 2004-12-07
프로그램 세부 정보
- 범주: 교육 > 다른
- 게시자: spassgui.sf.net
- 라이센스: 무료
- 가격: N/A
- 버전: 0.5
- 플랫폼: linux
Spassgui는 sPASS에 대한 펄 / Tk 기반의 Gui (평등과 일차 논리에 대한 자동 정리 Prover)http://spass.mpi-sb.mpg.de .