spassgui 0.5
5초 만에 다운로드할 수 있습니다.
다음 외부 다운로드 링크를 클릭하여 다운로드를 시작할 수도 있습니다.
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
에 대해 spassgui
Spassgui는 sPASS에 대한 펄 / Tk 기반의 Gui (평등과 일차 논리에 대한 자동 정리 Prover)http://spass.mpi-sb.mpg.de .
관련 프로그램
-
Dynamis 무료
다이너마이스는 다른 시스템(R, GNU 옥타브) 및 독립 실행형 프로그램에 대한 코드 조각을 포함한 동적 시스템을 연구하기 위한 소프트웨어 도구 모음입니다.
-
WordTalk JA japan 무료
* 워드 토크 기능- 단어를 암기하는 데 도움이- 인터랙티브 암기- 인터넷을 통해 다운 나로드 워드 북 (wordbook.daum.net)
-
Poll Anywhere 무료 평가판
안드로이드 폰을 폴링 응답 시스템으로 전환합니다. 이것은 질문을 하거나 학생/청중을 폴링하고 데이터를 수집하려는 교사 또는 발표자를위한 완벽한 응용 프로그램입니다. Poll Anywhere는 문자 메시지를 통해 투표 질문을 수집하고 화면에 결과를 실시간으로 표시합니다. 어디서나 폴링이 사용이 간편합니다! 단순히 응용 프로그램이 참여하는 동안 참가자가 전화 번호 또는 구글 보이스 번호를 문자로
-
EBook Reader & EPUB Reader 무료 평가판
EBook 리더는 안드로이드에 대한 빠르고 매우 사용자 정의 문서 뷰어입니다. 쉽게 액세스하고 모든 전자 책을 관리할 수 있도록 도와줍니다.형식 지원:epub, rtf, fb2 (.zip), 모비 및 일반 텍스트 파일.주요 기능 및 #65306;- 네트워크 전자 책 카탈로그 / 상점을위한 브라우저 / 다운로더를 포함한다. - 몇 가지 인기있는 영어, 프랑스어, 러시아어, 중국어
-
HoneyBSD 무료
고성능 컴퓨팅을 위한 완벽한 POSIX 준수 BSD 환경을 조성하는 것을 목표로 하는 프로젝트입니다.
-
The Free Dictionary English 무료
비공식 앱 무료 사전 영어 (thefreedictionary.com, en.thefreedictionary.com, 무료 사전)무료 온라인 사전 - 여러 사전, 포함 : - 언어 : 영어, 스페인어, 독일어, 프랑스어, 이탈리아어, 아랍어, 중국어, 폴란드어, 포르투갈어, 네덜란드어, 노르웨이 어 사전 - 기타 : 의료 사전, 법적 사전, 금융 사전, 컴퓨터 사전, 동의어 사전, 약어의 사전, 동의어
-
Dinucleotide signatures 무료
이 프로젝트에는 대사유전체 및 게놈에서 올리고뉴클레오티드 시그니처 분석을 수행하는 데 사용되는 파일 세트(Perl, Java 및 R 패키지)가 포함되어 있습니다.
-
METS Editor (SobekCM) 무료
Windows 양식 앱은 디지털 라이브러리 리소스에 대해 METS 호환 메타데이터 파일을 만듭니다. 사용자가 모든 서문 정보를 입력하고 페이지 이름과 분할을 구조 맵에 할당할 수 있습니다. 많은 서문 표준을 지원합니다.
-
IELTS PREP 무료 평가판
지금 다운로드하고 응용 프로그램 기능 & ndash의 활용; & 만 IELTS 응용 프로그램은 모든 4 섹션에 대한 준비 자료및 테스트를 커버할 수 있습니다 & 듣기, 읽기, 쓰기 및 말하기& 각 기술은 다음과 같은 팁과 전략과 함께 예제와 함께 설명& 황소; 답변과 16 연습 테스트. IELTS 시험에서 찾을 수 있는 다양한 질문 유형에 대한 답변을
-
BANNER Named Entity Recognition System 무료
BANNER은 주로 생체 의학 텍스트를 위한 명명된 엔터티 인식 시스템입니다. 조건부 무작위 필드를 기본 인식 엔진으로 사용하며 최근 문헌에 설명된 최고의 기술에 대한 광범위한 조사를 포함합니다.