Implementácia algoritmu eliminácie pravidla rezu pre sekventový kalkulus LKh v paradigme deklaratívneho programovania
Implementácia algoritmu eliminácie pravidla rezu pre sekventový kalkulus LKh v paradigme deklaratívneho programovania
Ing. Ján Komara, PhD.
V prípade problémov ma kontaktujte na email: shafei2@uniba.sk