Gửi phần mềm
  1. Nhà
  2. Linux
  3. Khác
  4. Tautologica Logic Suite
  5. Download

Tautologica Logic Suite 0.3.1

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

Về Tautologica Logic Suite

Một bộ chương trình cho các công cụ logic giáo dục. Ngay bây giờ chương trình làm việc duy nhất trong bộ là Tautologica Model Editor.

Các chương trình liên quan

  • TSA Miễn phí

    Bộ công cụ phân tích chuỗi thời gian định lượng phi tuyến, được viết theo phong cách lập trình mẫu C++.

  • UMass Lowell Handyboard Loader Miễn phí

    Dễ dàng, đáng tin cậy, và hoàn thành Handy Board / 68HC11 boot loader từ UMass Lowell

  • Php to Xmi converter Miễn phí

    Php2Xmi là một công cụ dòng lệnh được viết bằng PHP mà quét các lớp học PHP và xây dựng một tập tin XMI với UML representaion của các lớp học được tìm thấy. XMI có thể được xem bằng cách sử dụng công cụ mô hình hóa Umbrello c

  • How to braid hair Miễn phí

    Với ứng dụng này, bạn sẽ tìm hiểu làm thế nào để bện một bím tóc rất đẹp và bất thường. Từ kho từ khóa: bện tóc, bện, tạo kiểu tóc, tạo kiểu khác thường, tạo kiểu đẹp, tóc đẹp, tóc của phụ nữ

  • Roblox Catalog Miễn phí

    Nhanh chóng và dễ dàng duyệt danh mục roblox mà không cần phải khởi động trình duyệt của bạn! Ứng dụng này và người sáng tạo của nó không có cách nào liên kết với Roblox Corporation. Logo ứng dụng, và tất cả các tài sản được

  • LabRAD Miễn phí

    LabRAD là một nền tảng để nhanh chóng và dễ dàng tạo ra các hệ thống kiểm soát và thu thập dữ liệu thiết bị phân tán. Thiết lập nghiên cứu điển hình liên quan đến nhiều thiết bị kết nối với một số máy tính được quản lý bởi mộ

  • Gpiv Miễn phí

    Gpiv là một chương trình giao diện người dùng đồ họa cho hạt hình ảnh velocimetry (PIV). Nó thẩm vấn các hình ảnh, xác nhận và xử lý hậu kỳ dữ liệu kết quả và hiển thị kết quả của nó.

  • IMMpractical Miễn phí

    IMMpractical thực hiện các phương pháp dựa trên mô hình chuỗi Markov khác nhau để phân tích các trình tự DNA. Xin trích dẫn: Sparks, M.E., Brendel, V. và Dorman, KS (2007) Các biến thể mô hình Markov để đánh giá tiềm năng mã

  • Echoes of Eternity Miễn phí

    Một chương trình mới hiện đang được phát triển bao gồm các chủ đề như Vật lý, Tâm lý học, Triết học, Anh hùng Hy Lạp và các trích dẫn khác nhau. Hình ảnh và tiểu sử / số liệu ít được biết đến và lý thuyết sẽ đi kèm với ở trê

  • rarFit Miễn phí

    Một gói lắp ML dựa trên ROOT / RooFit cho HEP