S-au utilizat:metode ale  logicilor neclasice, ale calculelor propoziţionale, ale algebrelor universale, teoriei automatelor şi matematicii discrete, geometriei şi analizei combinatorice;5 calculatoare Pentium IV, o imprimantă, un scaner  cu  anul de fabricare 2002.