ส่งซอฟต์แวร์
  1. บ้าน
  2. Linux
  3. อื่นๆ
  4. EulerSharp

EulerSharp 2011-06-24

ใบ อนุญาต: ฟรี ‎ขนาดแฟ้ม: N/A
‎คะแนนจากผู้ใช้: 4.0/5 - ‎1 ‎โหวต
ดาวน์โหลด

Euler เป็นเครื่องมืออนุมานที่สนับสนุนหลักฐานตามตรรกะ มันเป็นเหตุผลในห่วงโซ่ย้อนกลับที่ได้รับการปรับปรุงด้วยการตรวจจับเส้นทางของ Euler มีการใช้งานใน Java, C #, Python, Javascript และ Prolog ผ่าน N3 มันสามารถทํางานร่วมกับ W3C Cwm

ประวัติรุ่น

  • เวอร์ชัน Euler-2011-06-24 โพสต์เมื่อ 2011-06-25
  • เวอร์ชัน Euler-2011-03-25 โพสต์เมื่อ 2011-03-25
    การแก้ไขและการอัปเดตหลายรายการ

รายละเอียดหลักสูตร

หลักสูตรที่เกี่ยวข้อง

  • g15tools ฟรี

    เครื่องมือ Userspace สําหรับแป้นพิมพ์ logitech g15 เครื่องมือเหล่านี้สามารถใช้เพื่อแสดงเนื้อหาที่กําหนดเองบนจอ LCD และเพื่อจัดการกับปุ่มพิเศษของแป้นพิมพ์

  • ARNUX ฟรี

    ยินดีต้อนรับสู่ ARNUX : โอเพ่นซอร์สฝังลินุกซ์โครงการ ครั้งแรกตุรกีฝังลินุกซ์ distro ระบบปฏิบัติการทั้งแบบฝังตัวและแบบคอนโซล ได้รับการสนับสนุนจาก ARDIC (ศูนย์นวัตกรรมการพัฒนาการวิจัยประยุกต์) http://www.ardictech.com

  • Squirrel Shell ฟรี

    Squirrel Shell เป็นทางเลือกข้ามแพลตฟอร์มสําหรับเชลล์ระบบเช่นทุบตีในลินุกซ์และ.exeใน Microsoft Windows มันขึ้นอยู่กับภาษาสคริปต์ "กระรอก"

  • wekula - A web interface to Bacula ฟรี

    wekula เป็นเว็บอินเตอร์เฟซกับระบบสํารองข้อมูลของ Bacula ด้วยคุณจะสามารถเปลี่ยนการตั้งค่า Bacula หยุด / เริ่ม Bacula daemon ทําการค้นหาไฟล์เดียว & กู้คืน ... Aditional มันจะให้อินเตอร์เฟซ PHP ที่มีประโยชน์ให้กับลูกค้า Bacu

  • libfallocate ฟรี

    ระบบไฟล์สามารถหลีกเลี่ยงการกระจายตัวหากพวกเขารู้ว่าไฟล์ขนาดใหญ่จะมีขนาดใหญ่ห้องสมุดนี้มีกระดาษห่อสําหรับ syscall fallocate() (เช่น glibc-2.10 +) แต่ยังรู้ xfs / ocfs2 ioctl และให้การย้อนกลับได้ดีกว่า posix_fallocate ()

  • AAT Direct Connect Hub Project ฟรี

    สคริปต์และฮับม็อดที่เขียนขึ้นเพื่อปรับปรุง OpenDCHubสคริปต์ Hub-Security จะกรองผู้ใช้ที่ไม่ได้ลงทะเบียนตามประเทศ และเพิ่มคําสั่ง op และคุณลักษณะความปลอดภัย นอกจากนี้ยังมีสคริปต์ทางสถิติและความสนุกสนาน การพัฒนาในอนาคตจะเปลี่

  • yydecode -- decodes yEnc/uuencoded binar ฟรี

    yydecode เป็นตัวถอดรหัสแบบพกพาสูงสําหรับไบนารีที่เข้ารหัส yEnc บนใช้เน็ต มันมีฟังก์ชั่นที่เหนือกว่าสําหรับ uudecode และสามารถใช้แทนแบบหล่นลงได้

  • ice Updater ฟรี

    Ice Updater - โซลูชันแบบ sriptable สําหรับการอัปเดต MS Office แบบอัตโนมัติและแบบรวมศูนย์ การค้นหาและดาวน์โหลดโปรแกรมแก้ไขด่วนและ Service Pack ที่หายไปจากต่างประเทศ แพทช์ติดตั้งเงียบบนเครื่องท้องถิ่นหรือระยะไกล - ไม่จําเป็นต้อ

  • GACSoft Free Driver Updater ฟรี

    คําอธิบายของ GACSoft อัพเดทไดรเวอร์ฟรี:เครื่องมือไดรเวอร์ฟรีเพื่ออัปเดตไดรเวอร์พีซีที่ยอดเยี่ยมในเวลาเพียงไม่กี่นาทีศตวรรษนี้เป็นเวลาของเทคโนโลยีสารสนเทศ ด้วยการพัฒนาที่เพิ่มขึ้นของเทคโนโลยีทางวิทยาศาสตร์สูงอินเทอร์เน็ตแท

  • V-Drive ฟรี

    V-Drive เป็นแอปพลิเคชั่นขนาดเล็กที่สร้างฮาร์ดดิสก์เสมือนบนพีซี Windows ของคุณซึ่งเข้าถึงข้อมูลจากเว็บสเปซส่วนบุคคลของคุณที่จัดทําโดย ISP, Uni ฯลฯ ช่วยให้คุณสามารถมีดิสก์ไดรฟ์ที่คุณสามารถเข้าถึงได้จากพีซี Windows ใด ๆ