DictionnaireLe forumContacts

Google | Forvo | +

backward chaining

informat. зворотний логічний висновок (від мети до вихідних посилань)
backward-chaining
informat. доведення типу "від мети до фактів"
ordin. висновок "від мети до фактів" (в експертних системах і автоматичному доказі теорем)

Ajouter | Signaler une erreur | Obtenir une URL courte