| | Словари, Словарь Dictionary |
| observational equivalence Two terms M and N are observationally equivalent iff for all contexts C[] where C[M] is a valid term, C[N] is also a valid term with the same value. |
| | О сайте • 10 самых • Словари • Обратная связь | |
| © 2010 Admin User словарь словарь online online словарь цитаты chrome | XHTML | CSS | 1.8.11 |