Proof Substitute for the Humdrum Toolkit

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

การ reimplement ของคําสั่งหลักฐานจากชุดเครื่องมือ Humdrum ใน Java

ประวัติรุ่น

  • เวอร์ชัน files โพสต์เมื่อ 2011-02-05
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน N/A โพสต์เมื่อ 2011-02-05

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