Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. spassgui

spassgui 0.5

Giấy phép: Miễn phí ‎Kích cỡ tệp: N/A
‎Xếp hạng người dùng: 5.0/5 - ‎1 ‎Phiếu
Tải về

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.

lịch sử phiên bản

  • Phiên bản 0.5 đăng trên 2004-12-07
    Một số bản sửa lỗi và cập nhật
  • Phiên bản 0.5 đăng trên 2004-12-07

Chi tiết chương trình

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