EulerSharp 2011-06-24
Giấy phép: Miễn phí Kích cỡ tệp: N/A
Xếp hạng người dùng: 4.0/5 - 1 Phiếu
Hãy chờ... Liên kết tải xuống của bạn đang được xác minh cho nội dung độc hại.
Bạn sẽ có thể tải xuống trong 5 giây.
Bạn sẽ có thể tải xuống trong 5 giây.
Về EulerSharp
Euler là một công cụ suy luận hỗ trợ logic dựa trên bằng chứng. Nó là một lý luận chuỗi ngược được tăng cường với phát hiện đường dẫn Euler. Nó có triển khai trong Java, C #, Python, Javascript và Prolog. Thông qua N3 nó là tương thích với W3C Cwm.