slc
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/slc/files/slc.zip/download
Về slc
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.
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à