ນີ້ແມ່ນຄໍາສັ່ງ clausetester ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍສະຖານີເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
clausester - ກວດເບິ່ງສູດໃນແບບຈໍາລອງ
ສະຫຼຸບສັງລວມ
clausester <ການແປພາສາໄຟລ໌> <formulas-file> >annotated-formulas-file>
ລາຍລະອຽດ
ຫນ້າຄູ່ມືນີ້ເອກະສານສັ້ນໆກ່ຽວກັບ clausester ຄໍາສັ່ງ.
ໂຄງການນີ້ໃຊ້ເວລາຊຸດຂອງ ການຕີຄວາມ ແລະກະແສຂອງ ສູດ. ສໍາລັບແຕ່ລະສູດ, ໄດ້
ການຕີຄວາມ ໝາຍ ທີ່ສູດແມ່ນຄວາມຈິງຖືກສະແດງ, ແລະໃນຕອນທ້າຍຂອງຕົວເລກ
ສູດຄວາມຈິງໃນແຕ່ລະການຕີຄວາມແມ່ນສະແດງໃຫ້ເຫັນ.
ໃຊ້ clausester ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net
