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

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

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