spassgui 0.5
您将能够在 5 秒内下载。
您也可以点击以下外部下载链接进行下载:
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
关于 spassgui
Spassgui 是一个基于 Perl/Tk 的 Gui SPASS (一个自动定理证明一阶逻辑与平等) http://spass.mpi-sb.mpg.de 。
相关软件
-
Dynamis 免费
Dynamis 是用于研究动态系统的软件工具的集合,包括其他系统(R、GNU 八度音阶)和独立程序的代码片段。
-
WordTalk JA japan 免费
* Wordtalk 功能- 帮助记忆单词- 互动记忆- 通过互联网向下加载单词簿 (wordbook.daum.net)
-
Poll Anywhere 免费试用
将 Android 手机转换为轮询响应系统。对于想要提问或投票的学生/听众并收集数据的教师或演示者来说,这是一个完美的应用程序。轮询 Anywhere 通过短信收集轮询问题,并在屏幕上实时显示结果。投票随处可见!只需让参与者在应用参与时发短信您的电话号码或您的 Google 语音号码,即可在消息到达时为你收集和显示结果。长期以来,手机一直是老师和主持人的问题,但现在你可以使用手机为你的优势!课堂上投票学生的影响的证据是压倒性的。这是
-
EBook Reader & EPUB Reader 免费试用
电子书阅读器是 Android 的快速且高度可自定义的文档查看器。帮助您轻松访问、管理所有电子书。支持格式:epub、 rtf 、 fb2 (.zip), mobi 和纯文本文件。主要功能:- 包括一个浏览器/下载器的网络电子书目录/商店。- 包括一些流行的英语、法语、俄语、中文和波兰图书馆。- 支持自定义 OPDS 目录。- 或者,您也可以手动下载书籍,并把它们放入设备上的 /sdcard/书籍目
-
HoneyBSD 免费
旨在为高性能计算创建完整的符合 POSIX 标准的 BSD 环境的项目。
-
The Free Dictionary English 免费
非官方应用程序 免费字典英语 (thefreedictionary.com, en.thefreedictionary.com, 免费在线词典 - 多种词典,包括:- 语言:英语、西班牙语、德语、法语、意大利语、阿拉伯语、中文、波兰语、葡萄牙语、荷兰语、挪威语词典-其他:医学词典、法律词典、金融词典、计算机词典、同义词库、首字母缩略词和缩写词典、成语词典、同义词库、哥伦比亚百科全书、维基百科全书、哈钦森百科全书、经典文学、发音、浏览器词、词汇表。
-
Dinucleotide signatures 免费
本项目包含一组文件(Perl、Java 和 R 包),用于分析元基因组和基因组中的寡核苷酸特征。
-
METS Editor (SobekCM) 免费
Windows 窗体应用为数字图书馆资源创建符合 METS 的元数据文件。它允许用户输入所有书目信息,并将页面名称和分区分配给结构映射。支持许多书目标准。
-
IELTS PREP 免费试用
立即下载并利用应用程序功能 –• 公牛; 只有雅思应用程序, 以涵盖所有 4 个部分的准备材料和测试 & ndash; 听, 阅读, 写作和口语•公牛;每个技能都用示例解释,以及要遵循的提示和策略•公牛;16个练习测试与答案。练习回答在雅思考试中可以找到的全套问题类型。• 公牛; 以英语为母语的人的声音, 让你练习真正的雅思• 具有音频、录制和播放支持的口语测试。现在轻松练习您的口语技巧!只需 2
-
BANNER Named Entity Recognition System 免费
BANNER 是一个命名实体识别系统,主要用于生物医学文本。它使用条件随机字段作为主要识别引擎,并包括对最近文献中描述的最佳技术的广泛调查。