Kirim Perangkat Lunak
  1. Rumah
  2. Windows
  3. Lain
  4. PLMan - Propositional Logic Parser

PLMan - Propositional Logic Parser 2.0

Lisensi: Gratis ‎Ukuran file: N/A
‎Peringkat Pengguna: 4.0/5 - ‎1 ‎Suara
Download

PLMan adalah parser/kalkulator kalimat logika proposisi dengan variabel kemampuan penanganan yang diterapkan di Jawa, yang berarti berjalan pada setiap JVM lingkungan terinstal (Unix, Linux, Windows, dll.).

Riwayat versi

  • Versi plman%202.0 diposting di 2003-12-22
    Beberapa perbaikan dan pembaruan
  • Versi plman 2.0 diposting di 2003-12-22

Detil Program

Program Terkait

  • BenQ Laptop to Hotspot Converter Uji Coba Gratis

    BenQ Laptop ke Hotspot Converter mengubah laptop BenQ Anda menjadi hotspot nirkabel.Dengan perangkat lunak ini, laptop BenQ (platform Windows) Anda diubah menjadi hotspot Wi-Fi sehingga Anda dapat berbagi Internet dengan

  • Windows-Hosted Cell SDK Gratis

    SDK Sel-BE yang dihosting Windows. Ini adalah kompiler Cell BE Linux SDK dan GCC standar, tetapi dihosting di bawah Windows (Cygwin), dengan kompilasi silang untuk Cell Linux.

  • Pyana Gratis

    Pyana adalah modul ekstensi yang memungkinkan program Python untuk berinteraksi dengan mesin transformasi Xalan XSLT dari Apache Software Foundation.

  • pw7 Gratis

    pw7 adalah pembungkus GnuPG berbasis perl yang memfasilitasi kontrol akses yang aman, terenkripsi, dan terperinci ke database terenkripsi kata sandi pengguna super.

  • XCV Gratis

    XCV adalah serangkaian transformasi XSL modular yang menghasilkan Curriculum Vitae yang mematuhi XHTML dari dokumen XML sumber sederhana. Menata dan menyesuaikan hasilnya mudah, mengingat pengalaman CSS dan/atau HTML - dan t

  • Genesis Coupe Navigation Hack Gratis

    Proyek ini khusus untuk peretasan dengan Navigation Present di Hyundai Genesis Coupe 2010.Ini hanya akan bekerja dengan model yang dilengkapi dengan Perangkat Lunak Navigasi Dalam Mobil.

  • B.E.S.S. Gratis

    Proyek ini telah disponsori oleh program G.O.P. Hongaria, ID proyek: G.O.P.-1-1-1-08/1-2008-0015. Tujuan dari proyek ini adalah untuk membuat prototipe suara end-to-end terbaik melalui enkripsi IP berdasarkan otentikasi biome

  • SyncPro Gratis

    SyncPro adalah paket visualisasi yang menargetkan pada data spektrometri massa yang diproses. Ini menggunakan sinkronisasi dan lapis teknisi dalam grafis untuk memvisualisasikan grup kumpulan data MS secara bersamaan.

  • Generic URL Creator Gratis

    GUC adalah ekstensi thunderbird Mozilla Firefox/Mozilla untuk menghasilkan URL dengan cepat dari teks yang dipilih. Cukup klik kanan teks yang dipilih dan pilih URL untuk membuka dari menu konteks. Sangat berguna untuk pencar

  • LogScanLauncher Gratis

    Utilitas commandline yang memantau logfil aplikasi dan memicu peristiwa baru setelah entri baru dalam file log memenuhi ekspresi reguler. Utilitas dapat dikonfigurasi dengan mengubah entri dalam file ini aplikasi.