Որոնման արդյունքները - Davis-Putnam-algoritmen

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

• Անորոշ որոնում կատարելը կարող է գտնել նմանատիպ ուղղագրությամբ տերմիններ: Davis-Putnam-algoritmen~.
• Փոխարինող նշան ավելացնելը կարող է վերբերել բառերի տարբերակներին: Davis-Putnam-algoritmen*.