Prześlij oprogramowanie

Programy według br-bmc.sf.net

  • BR-BMC Wolna

    Implementacja algorytmu rewizji przekonań przy użyciu ograniczonego sprawdzania modelu dla ACTL