BR-BMC

Licenza: Gratuito ‎Dimensioni del file: N/A
‎Valutazione utenti: 4.5/5 - ‎2 ‎Voti

Implementazione di un algoritmo di revisione delle convinzioni utilizzando il controllo del modello delimitato per ACTL

cronologia delle versioni

  • Versione N/A pubblicato il 2011-07-24
    Diverse correzioni e aggiornamenti
  • Versione N/A pubblicato il 2011-07-24

Dettagli del programma