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

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

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