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

slc

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ề

Tính toán Lambda tượng trưng là một hình thức logic dựa trên tính toán lambda và logic tổ hợp, trong đó chỉ có một loại đối tượng, có thể đại diện cho một trong hai thuật ngữ hoặc bình đẳng. Nó sử dụng các chú thích tính toán của de Bruijn và lambda.

lịch sử phiên bản

  • Phiên bản files đăng trên 2010-05-13
    Một số bản sửa lỗi và cập nhật
  • Phiên bản N/A đăng trên 2010-05-13

Chi tiết chương trình

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

  • freeportfolio Miễn phí

    Outil web (php / mysql) d'valuation initialement dvelopp l'ENFA ( www.enfa.fr/portfolio ).

  • FIGTree Miễn phí

    Một thư viện để tính toán nhanh chóng của Gauss biến đổi trong nhiều chiều, bằng cách sử dụng cải thiện nhanh Gauss Transform và xấp xỉ hàng xóm gần nhất tìm kiếm. Thư viện này rất hữu ích cho việc ước tính mật độ hạt nhân hi

  • GenomeDiff Miễn phí

    So sánh bộ gen virus trực quan bằng dotplot! Chương trình Java. Tải về bằng tay từ pubmed! Sử dụng chế độ xem căn chỉnh! So sánh, ví dụ, Hiv-1 & Visna. Xác định vị trí p24 trong Hiv-1! So sánh các văn bản ngôn ngữ tự nhiê

  • AquaLog Miễn phí

    Một ontology dựa trên hệ thống trả lời câu hỏi di động mà có truy vấn thể hiện bằng ngôn ngữ tự nhiên và một ontology như đầu vào và trả về câu trả lời rút ra từ một hoặc nhiều cơ sở kiến thức (KBs)

  • hybrid model optimization/identification Miễn phí

    hybopt là một tập hợp các thư viện để giải quyết các vấn đề xác định và kiểm soát tối ưu cho các mô hình động lai (cơ học / thực nghiệm) (ODE và DAE).

  • RmscopII Miễn phí

    RmscopII là một kịch bản Tcl / Tk chịu trách nhiệm chuyển hướng các tập tin cấu trúc protein (tập tin PDB) hoặc RasMol kịch bản cho nhiều phiên RasMol. Nó có thể được sử dụng như một ứng dụng trợ giúp trình duyệt web hoặc như

  • Matrix Expression Templates Miễn phí

    MET là một thư viện lớp ma trận C++ xử lý biểu thứcMẫu. Kỹ thuật này loại bỏ việc sao chép và tạm thời của các đối tượng ma trận và có thể tăng tốc độ tính toán.

  • Standard Animal Behaviour Ontology Miễn phí

    SABO là một ontology OWL cấp cao nhất mô tả tên miền của hành vi động vật. Tác giả:

  • RooFit toolkit for data modelling Miễn phí

    Gói RooFit cung cấp một bộ công cụ để mô hình hóa các bản phân phối số dự kiến của kết quả của một thí nghiệm khoa học. Các mô hình được tạo ra với RooFit có thể được sử dụng để lắp,trực quan hóa, và monte Carlo nghiên cứu.

  • Ebooka PDF Viewer Miễn phí

    Sách và Trình đọc tài liệu với hỗ trợ PDF và DjVu để đọc thoải mái. Nếu bạn đang tìm kiếm một trình đọc PDF tốt, hãy dừng lại ở đây, bạn đã tìm thấy nó. Nó làm những gì bạn mong đợi nó để làm. Bạn có thể dễ dàng nằm xuống và