 | uprove.Alat Java untuk Membangun Bukti Pengurangan Alami |
| Unduh sekarang | |
uprove. Peringkat & Ringkasan
Iklan
- Lisensi:
- Freeware
- Nama Penerbit:
- Niklas Udd
- Situs web penerbit:
- http://uprove.udd.be
- Sistem operasi:
- Mac OS X
- Ukuran file:
- 53 KB
uprove. Tag
uprove. Keterangan
UpRove adalah alat yang mudah digunakan yang memungkinkan Anda untuk membuat bukti pengurangan alami dalam logika proposisional. Anda perlu mengklik garis yang ingin Anda terapkan sebagai aturan, dan kemudian pilih aturan yang diinginkan. Bupati ditulis dalam bahasa pemrograman Java dan dapat dijalankan di Mac OS X, Windows dan Linux.
uprove. Perangkat Lunak Terkait
