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

slc

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

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

ประวัติรุ่น

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

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

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

  • freeportfolio ฟรี

    เว็บ Outil (php/mysql) d'valuation เริ่มต้น dvelopp l'ENFA ( www.enfa.fr/portfolio )

  • FIGTree ฟรี

    ไลบรารีสําหรับการคํานวณอย่างรวดเร็วของ Gauss จะแปลงไปในหลายมิติโดยใช้การแปลง Gauss อย่างรวดเร็วที่ดีขึ้นและการค้นหาเพื่อนบ้านที่ใกล้ที่สุดโดยประมาณ ไลบรารีนี้มีประโยชน์สําหรับการประเมินความหนาแน่นของเคอร์เนล (KDE) ที่มีประสิท

  • GenomeDiff ฟรี

    เปรียบเทียบจีโนมไวรัสด้วยภาพโดย dotplot! โปรแกรม Java ดาวน์โหลดด้วยตนเองจาก pubmed! ใช้มุมมองการจัดแนว! เปรียบเทียบ ตัวอย่างเช่น Hiv-1 และ Visna ค้นหา p24 ภายใน Hiv-1! เปรียบเทียบข้อความภาษาธรรมชาติ! ส่งออกไดอะแกรมเป็น PDF!

  • AquaLog ฟรี

    ระบบการตอบคําถามแบบพกพาตามเนื้องอกวิทยาซึ่งใช้แบบสอบถามที่แสดงในภาษาธรรมชาติและเนื้องอกวิทยาเป็นข้อมูลป้อนเข้าและส่งกลับคําตอบที่ดึงมาจากฐานความรู้อย่างน้อยหนึ่งฐาน (KBs)

  • hybrid model optimization/identification ฟรี

    hybopt เป็นชุดของห้องสมุดเพื่อแก้ปัญหาการระบุและการควบคุมที่ดีที่สุดสําหรับรุ่นไดนามิกไฮบริด (กลไก / เชิงประจักษ์) แบบไดนามิก (ODE และ DAE)

  • RmscopII ฟรี

    RmscopII เป็นสคริปต์ Tcl/Tk ที่รับผิดชอบในการเปลี่ยนเส้นทางไฟล์โครงสร้างโปรตีน (ไฟล์ PDB) หรือสคริปต์ RasMol ไปยังเซสชัน RasMol หลายเซสชัน มันสามารถใช้เป็นโปรแกรมช่วยเหลือเว็บเบราว์เซอร์หรือเป็นโปรแกรมแบบสแตนด์อโลน

  • Matrix Expression Templates ฟรี

    MET เป็นไลบรารีคลาสเมทริกซ์ C++ ที่จัดการกับนิพจน์แม่ แบบ เทคนิคนี้จะช่วยลดการคัดลอกและร่วมสมัยของวัตถุเมทริกซ์และสามารถเร่งการคํานวณได้

  • Standard Animal Behaviour Ontology ฟรี

    SABO เป็นเนื้องอกในระดับสูงที่อธิบายถึงโดเมนของพฤติกรรมของสัตว์ ผู้เขียน:

  • RooFit toolkit for data modelling ฟรี

    แพคเกจ RooFit ให้ชุดเครื่องมือสําหรับการสร้างแบบจําลองการกระจายตัวเลขที่คาดหวังของผลการทดลองทางวิทยาศาสตร์ รุ่นที่สร้างด้วย RooFit สามารถใช้สําหรับการติดตั้งการแสดงภาพประกอบเพลงและการศึกษามอนเตคาร์โล

  • Ebooka PDF Viewer ฟรี

    จองและอ่านเอกสารด้วยการสนับสนุน PDF และ DjVu เพื่อการอ่านที่สะดวกสบาย หากคุณกําลังมองหาโปรแกรมอ่าน PDF ที่ดีหยุดที่นี่คุณพบมัน มันทําในสิ่งที่คุณคาดหวังให้ทํา คุณสามารถวางลงและอ่านหนังสือ PDF และเอกสารได้อย่างง่ายดายด้วยแอพนี