Atur cara mengikut psat.sf.net
-
PSAT Percuma
Ini adalah projek yang bertujuan untuk menghasilkan perisian untuk memutuskan masalah Kebolehuaan Kebarangkalian (PSAT) di bawah pendekatan logik.
Ini adalah projek yang bertujuan untuk menghasilkan perisian untuk memutuskan masalah Kebolehuaan Kebarangkalian (PSAT) di bawah pendekatan logik.