Э-создук - мультиязычный онлайн словарь  
On-line словарь Новые слова Требуется перевод Список словарей Новости О проекте
+ Добавить слова для перевода
Вход | Регистрация
через соц. сети
Для поиска нужного слово или фразу наберите внизу и нажмите "Поиск".
<-> <-> <-> Все

Хотите добавить слово или фразу для перевода?
Тематика:
Слова 1-1 из 1
<< >> 1 из 1
+ В 1964 году была опубликована работа ленинградского логика Сергея Маслова «Обратный метод установления выводимости в классическом исчислении предикатов», в которой впервые предлагался метод автоматического поиска доказательства теорем в исчислении предикатов.  Русский-Кыргызский, тематика:Общий ms.saltush"; 2017-05-31 12:02:04  0
Слово/выражение Перевод
ms.saltush 2017-05-31 12:02:04
Направления перевода:Русский-Кыргызский
Тематика:Общий
Пока нет перевода на Кыргызском языке (Количество переводов:0)
Добавьте перевод, стань первым.
<< >> 1 из 1 1
Language:
 
Установите Эл-Сөздүк расширения для браузера Google Chrome Расширения Эл-Сөздүк для Chrome
 
KyrSpell-2.3 - Проверка орфографии Кыргызского языка для MS Office 2000-2013 с удобными раскладками клавиатур. KyrSpell система проверки орфографии кыргызского языка

Кыргыз тилинин морфологиясы

Морфология кыргызского языка
Кыргызские пословицы и поговорки с переводом на русский язык
 
 
Онлайн - рег.= = =
 
Рейтинг@Mail.ru