DictionaryForumContacts

   English Russian +
Google | Forvo | +

proof sequence

stresses
progr. последовательность доказывания фактов (в языке программирования Prolog Alex_Odeychuk)