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

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.

lịch sử phiên bản

  • Phiên bản Euler-2011-06-24 đăng trên 2011-06-25
  • Phiên bản Euler-2011-03-25 đăng trên 2011-03-25
    Một số bản sửa lỗi và cập nhật

Chi tiết chương trình