Gửi phần mềm
  1. Nhà
  2. Windows
  3. Khác
  4. HLM Proof Assistant

HLM Proof Assistant

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

HLM là một trợ lý bằng chứng cho toán học hàng ngày, hiện đang được phát triển. Nó nhằm mục đích cho một kinh nghiệm người dùng càng gần càng tốt để thực hành toán học thường xuyên, và bằng chứng đó là dễ hiểu bởi con người với ít nỗ lực thêm.

lịch sử phiên bản

  • Phiên bản Prototype đăng trên 2011-02-08
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2011-02-08

Chi tiết chương trình

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

  • MLA Auto-Generator Miễn phí

    Tạo ra một cách chính xác định dạng (MLA, APA, Chicago, CPE, Turabian) mục cho các tác phẩm trích dẫn hoặc các trang danh mục tham khảo.

  • Animal Imaging Miễn phí

    & hình ảnh động vật" là một dự án thu thập và phổ biến thông tin về công nghệ hình ảnh (ví dụ: CT, MRI, PET, siêu âm) liên quan đến hình ảnh vivo của động vật.

  • Wordcorr Miễn phí

    Wordcorr tự động hóa quá trình tẻ nhạt và nguy hiểm của tabulating và quản lý các thư từ âm thanh được sử dụng trong việc làm việc ra sự phát triển lịch sử của ngôn ngữ tự nhiên. Nó cho phép truy cập vào tất cả các dữ liệu, t

  • aMS - advanced Modeling System Miễn phí

    Một hồ sơ người dùng / mô hình hóa hệ thống có khả năng được sử dụng với tất cả các loại hệ thống nhân cách hóa. Các adavantage là hệ thống này không được bao gồm trong một ứng dụng và có thể do đó được sử dụng cho nhiều mục

  • X-Specs Miễn phí

    Thư viện và các công cụ để hỗ trợ thiết kế phần mềm bằng cách sử dụng mã thực thi như thông số kỹ thuật, để hỗ trợ test driven phát triển và các phương pháp Agile khác.

  • Action Movies Miễn phí

    Bạn có thích câu đố? Bạn có thích 00s Pop Culture? Bạn có thích công cụ miễn phí?! Sau đó, đây là ứng dụng dành cho bạn ... vui vẻ, miễn phí nhiều sự lựa chọn câu đố đố trong túi của bạn! Anh có nghĩ là anh biết sự khác biệt

  • New Super Mario Bros Guide Miễn phí

    NEW SUPER MARIO BROS WII HƯỚNG DẪN & MỘT HƯỚNG DẪN KHÔNG CHÍNH THỨC HƯỚNG DẪN ¢ â € ÂINCLUDES SAU ĐÂY: WALKTHROUGH-Thế giới 1- Thế giới 2- Thế giới 3etcà ¢ â € â ¦ WARP CANNONSetc.. BÍ MẬT- Bí mật Goalsetc.. NẤM HOUSESetc

  • Baby's number school(flower) Dùng thử miễn phí

    Các ứng dụng tốt nhất cho trẻ sơ sinh.Bé có thể học số với những bông hoa xinh xắn.Chúng tôi hỗ trợ 10 ảnh hoa và 1 ~ 10 số.Nó giúp em bé của bạn để phát triển não.Có một thời gian hài hước với ứng dụng này!

  • RAPID Miễn phí

    RAPID (REBOL API DocuMentor) cung cấp một cách để lấy tài liệu từ mã nguồn REBOL và xuất bản thành các định dạng đầu ra khác nhau, như HTML, PDF, make-doc-pro, và những người khác.

  • Logic Solver (truth tables) Dùng thử miễn phí

    Chương trình này hiển thị bảng sự thật, bạn nhập một đề xuất với các chữ cái bạn thích, ví dụ: PvQ ^ R hoặc Av ~ B, và chương trình cho bạn thấy bảng sự thật.Chương trình này cũng giúp bạn đơn giản hóa các đề xuất bằng cá