Fritt tillgängliga forsknings- eller undervisningsrelaterade filer. För mer detaljerad information om copyright och eventuella licensvillkor, se respektive fil.

Norm-regulated Transition System Situations

Java/Prolog-implementation av Norm-regulated Transition System Situations. Ladda ner källkod från mappen Bentham eller från Sourceforge Länk till annan webbplats..

Filer tillgängliga för nedladdning
Ikon som illustrerar filtyp Filnamn Filstorlek Datum fil laddades upp
Eudoxos
Bentham