spassgui 0.5
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn cũng có thể nhấp vào Liên kết tải xuống bên ngoài sau để bắt đầu tải xuống:
http://sourceforge.net/projects/spassgui/files/spassgui/0.5/spassgui-0.5.tar.bz2/download
Về spassgui
Spassgui là một Perl / Tk dựa Gui cho SPASS (An Automated Theorem Prover for First-Order Logic with Equality) by http://spass.mpi-sb.mpg.de.
Các chương trình liên quan
-
Dynamis Miễn phí
Dynamis là một tập hợp các công cụ phần mềm để nghiên cứu các hệ thống động lực bao gồm các đoạn mã cho các hệ thống khác (R, GNU quãng tám) và các chương trình độc lập.
-
WordTalk JA japan Miễn phí
* Tính năng WordTalk- Giúp ghi nhớ các từ- Ghi nhớ tương tác- Downaload wordbook qua internet (wordbook.daum.net)
-
Poll Anywhere Dùng thử miễn phí
Biến điện thoại Android của bạn thành một hệ thống phản hồi bỏ phiếu. Đây là ứng dụng hoàn hảo cho giáo viên hoặc diễn giả muốn đặt câu hỏi hoặc thăm dò ý kiến học sinh / khán giả của họ và thu thập dữ liệu. Poll Anywhere t
-
EBook Reader & EPUB Reader Dùng thử miễn phí
EBook Reader là trình xem tài liệu nhanh và có thể tùy chỉnh cao cho Android. Giúp bạn dễ dàng truy cập, quản lý tất cả các bạn ebooks.Hỗ trợ định dạng:epub, rtf, fb2(.zip), mobi, và tập tin văn bản thuần túy.Các tín
-
HoneyBSD Miễn phí
Một dự án nhằm tạo ra một môi trường BSD tuân thủ POSIX hoàn chỉnh cho điện toán hiệu suất cao.
-
The Free Dictionary English Miễn phí
Ứng dụng không chính thức Từ điển miễn phí tiếng Anh (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)Từ điển trực tuyến miễn phí - Nhiều từ điển, bao gồm:- Ngôn ngữ: Tiếng Anh, tiếng Tây Ban Nha, tiếng Đức
-
Dinucleotide signatures Miễn phí
Dự án này chứa một tập hợp các tập tin (Perl, Java, và một gói R) được sử dụng để thực hiện phân tích chữ ký oligonucleotide trong metagenomes và bộ gen.
-
METS Editor (SobekCM) Miễn phí
Ứng dụng biểu mẫu Windows tạo tệp siêu dữ liệu tuân thủ METS cho tài nguyên thư viện kỹ thuật số. Nó cho phép người dùng nhập tất cả các thông tin thư mục, và gán tên trang và các bộ phận cho bản đồ cấu trúc. Hỗ trợ nhiều tiê
-
IELTS PREP Dùng thử miễn phí
Tải xuống ngay bây giờ và tận dụng các tính năng ứng dụng & ndash; & Chỉ có ứng dụng IELTS để bao gồm các tài liệu chuẩn bị và các bài kiểm tra cho tất cả 4 phần & Nghe, Đọc, Viết và Nói& Mỗi kỹ năng giả
-
BANNER Named Entity Recognition System Miễn phí
BANNER là một hệ thống nhận dạng thực thể được đặt tên chủ yếu dành cho văn bản y sinh. Nó sử dụng các trường ngẫu nhiên có điều kiện làm công cụ nhận dạng chính và bao gồm một cuộc khảo sát rộng rãi về các kỹ thuật tốt nhất