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

spassgui 0.5

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

Spassgui เป็น Perl / Tk ตาม Gui สําหรับ SPASS (เครื่องพิสูจน์ทฤษฎีบทอัตโนมัติสําหรับตรรกะการสั่งซื้อครั้งแรกที่มีความเท่าเทียมกัน) โดย http://spass.mpi-sb.mpg.de .

ประวัติรุ่น

  • เวอร์ชัน 0.5 โพสต์เมื่อ 2004-12-07
    การแก้ไขและการอัปเดตหลายรายการ
  • เวอร์ชัน 0.5 โพสต์เมื่อ 2004-12-07

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

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

  • Dynamis ฟรี

    Dynamis เป็นคอลเลกชันของเครื่องมือซอฟต์แวร์สําหรับการศึกษาระบบแบบไดนามิกรวมถึงชิ้นส่วนรหัสสําหรับระบบอื่น ๆ (R, GNU octave) และโปรแกรมแบบสแตนด์อโลน

  • WordTalk JA japan ฟรี

    * คุณลักษณะของ WordTalk- ช่วยในการจดจําคํา- ท่องจําแบบโต้ตอบ- ลงโหลดหนังสือคําผ่านทางอินเทอร์เน็ต (wordbook.daum.net)

  • Poll Anywhere ทดลองใช้ฟรี

    เปลี่ยนโทรศัพท์ Android ของคุณให้เป็นระบบตอบกลับการสํารวจความคิดเห็น นี่เป็นแอพที่สมบูรณ์แบบสําหรับครูหรือผู้นําเสนอที่ต้องการถามคําถามหรือสํารวจนักเรียน / ผู้ชมและรวบรวมข้อมูล Poll Anywhere จะรวบรวมคําถามโพลผ่านข้อความและแ

  • EBook Reader & EPUB Reader ทดลองใช้ฟรี

    EBook Reader เป็นโปรแกรมดูเอกสารที่รวดเร็วและปรับแต่งได้สูงสําหรับ Android ช่วยให้คุณเข้าถึงจัดการ ebooks ทั้งหมดได้อย่างง่ายดายสนับสนุนรูปแบบ:epub, rtf, fb2(.zip), mobi และไฟล์ข้อความธรรมดาคุณสมบัติที่สําคัญ#65306;

  • HoneyBSD ฟรี

    โครงการที่มุ่งสร้างสภาพแวดล้อม BSD ที่สอดคล้องกับ POSIX ที่สมบูรณ์สําหรับการประมวลผลที่มีประสิทธิภาพสูง

  • The Free Dictionary English ฟรี

    แอปอย่างไม่เป็นทางการ ภาษาอังกฤษพจนานุกรมฟรี (thefreedictionary.com, en.thefreedictionary.com, thefreedictionary)พจนานุกรมออนไลน์ฟรี - พจนานุกรมหลายภาษา รวมถึง:- เยอรมัน, ฝรั่งเศส, อิตาลี, อาหรับ, จีน, โปแลนด์, โปรตุเกส, ดัตช

  • Dinucleotide signatures ฟรี

    โครงการนี้ประกอบด้วยชุดของไฟล์ (Perl, Java และแพคเกจ R) ที่ใช้ในการทําการวิเคราะห์ลายเซ็น oligonucleotide ใน metagenomes และจีโนม

  • METS Editor (SobekCM) ฟรี

    แอปฟอร์มของ Windows จะสร้างแฟ้มข้อมูลเมตาที่เข้ากันได้กับ METS สําหรับทรัพยากรไลบรารีดิจิทัล ช่วยให้ผู้ใช้สามารถป้อนข้อมูลบรรณานุกรมทั้งหมดและกําหนดชื่อหน้าและส่วนไปยังแผนผังโครงสร้าง รองรับมาตรฐานบรรณานุกรมมากมาย

  • IELTS PREP ทดลองใช้ฟรี

    ดาวน์โหลดตอนนี้และใช้ประโยชน์จากคุณสมบัติแอพ & ndash; กระทิง; เพียง IELTS App เพื่อให้ครอบคลุมวัสดุเตรียมและการทดสอบสําหรับทั้ง 4 ส่วน & ndash; การฟัง, การอ่าน, การเขียนและการพูดกระทิงแต่ละทักษะอธิบายด้วยตัวอย่า

  • BANNER Named Entity Recognition System ฟรี

    BANNER เป็นระบบการรับรู้เอนทิตี้ที่มีชื่อซึ่งมีไว้สําหรับข้อความชีวการแพทย์เป็นหลัก มันใช้เขตข้อมูลแบบสุ่มแบบมีเงื่อนไขเป็นเครื่องมือการรู้จําหลักและรวมถึงการสํารวจเทคนิคที่ดีที่สุดที่อธิบายไว้ในวรรณกรรมล่าสุด