ส่งซอฟต์แวร์
  1. บ้าน
  2. Windows
  3. อื่นๆ
  4. PLMan - Propositional Logic Parser
  5. Download

PLMan - Propositional Logic Parser 2.0

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

เกี่ยวกับ PLMan - Propositional Logic Parser

PLMan เป็นตัวแยกวิเคราะห์ / เครื่องคิดเลขประโยคตรรกะข้อเสนอที่มีตัวแปร ความสามารถในการจัดการที่ดําเนินการใน Java ซึ่งหมายความว่าจะทํางานในทุก JVM สภาพแวดล้อมที่ติดตั้ง (Unix, Linux, Windows ฯลฯ )

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

  • BenQ Laptop to Hotspot Converter ทดลองใช้ฟรี

    BenQ Laptop เป็น Hotspot Converter แปลงแล็ปท็อป BenQ ของคุณเป็นฮอตสปอตไร้สายด้วยซอฟต์แวร์นี้แล็ปท็อป BenQ (แพลตฟอร์ม Windows) ของคุณจะถูกเปลี่ยนเป็นฮอตสปอต Wi-Fi เพื่อให้คุณสามารถแชร์อินเทอร์เน็ตกับแล็ปท็อปเพื่อนหรืออุปก

  • Windows-Hosted Cell SDK ฟรี

    SDK เซลล์ที่โฮสต์ของ Windows นี่คือคอมไพเลอร์เซลล์มาตรฐาน BE Linux SDK และ GCC แต่โฮสต์ภายใต้ Windows (Cygwin) ด้วยการคอมไพล์ข้ามสําหรับ Linux ของเซลล์

  • Pyana ฟรี

    Pyana เป็นโมดูลส่วนขยายที่ช่วยให้โปรแกรม Python สามารถเชื่อมต่อกับกลไกการแปลง Xalan XSLT ของมูลนิธิซอฟต์แวร์ Apache

  • pw7 ฟรี

    pw7 เป็นกระดาษห่อ GnuPG ที่ใช้ perl ที่อํานวยความสะดวกในการควบคุมการเข้าถึงที่ปลอดภัยเข้ารหัสและละเอียดไปยังฐานข้อมูลที่เข้ารหัสของรหัสผ่านผู้ใช้ขั้นสูง

  • XCV ฟรี

    XCV เป็นชุดของการแปลง XSL แบบแยกส่วนซึ่งสร้าง Vitae หลักสูตรที่สอดคล้องกับ XHTML จากเอกสาร XML ต้นฉบับอย่างง่าย การจัดแต่งทรงผมและการปรับแต่งผลลัพธ์เป็นเรื่องง่ายเนื่องจากประสบการณ์ CSS และ / หรือ HTML - และเป็นอิสระจากแหล่ง

  • Genesis Coupe Navigation Hack ฟรี

    โครงการนี้โดยเฉพาะสําหรับการแฮ็คด้วยการนําทางที่มีอยู่ใน 2010 Hyundai Genesis Coupeสิ่งนี้จะใช้ได้กับรุ่นที่ติดตั้งซอฟต์แวร์นําทางในรถยนต์เท่านั้น

  • B.E.S.S. ฟรี

    โครงการนี้ได้รับการสนับสนุนจากโครงการ G.O.P. ฮังการี, รหัสโครงการ: G.O.P.-1-1-1-08/1-2008-0015 จุดมุ่งหมายของโครงการคือการสร้างต้นแบบของเสียงจากต้นทางถึงปลายทางที่ดีที่สุดผ่านการเข้ารหัส IP ตามการรับรองความถูกต้องทางชีวมาตร

  • SyncPro ฟรี

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

  • Generic URL Creator ฟรี

    GUC เป็นส่วนขยาย Mozilla Firefox/ Mozilla thunderbird เพื่อสร้าง URL ได้ทันทีจากข้อความที่เลือก เพียงคลิกขวาที่ข้อความที่เลือกและเลือก URL เพื่อเปิดจากเมนูบริบท มีประโยชน์อย่างมากสําหรับการค้นหาไดเรกทอรี / พจนานุกรมและการค้นห

  • LogScanLauncher ฟรี

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