Որոնման արդյունքները - Knuth-Bendix completion algorithm~

Դուք կարող եք ավելի շատ արդյունքներ ստանալ՝ կարգավորելով ձեր որոնման հարցումը:

• Փոխարինող նշան ավելացնելը կարող է վերբերել բառերի տարբերակներին: Knuth-Bendix completion algorithm*.