Английский - русский
Перевод слова Coq

Перевод coq с английского на русский

с примерами в контексте

Примеры:
Петух (примеров 1)
Больше примеров...
Coq (примеров 7)
Axiom plans to use proof technology to prove the correctness of the algorithms (such as Coq and ACL2). Проект Axiom планирует использовать проверенные технологии (такие как Coq и ACL2) для доказательства корректности алгоритмов.
Comfortable and quiet accommodation with free parking-lot in central Tallinn, 200 m from A Le Coq Arena football stadium. Гостиница Lilleküla Hotell расположена в 5 минутах езды от исторического центра Таллинна в удобном, тихом месте с бесплатной парковкой, 200 м oт A Le Coq Arena.
A fully formal proof, checked with the Coq proof assistant, was announced in September 2012 by Georges Gonthier and fellow researchers at Microsoft Research and INRIA. Конечное формальное доказательство, проверенное с помощью системы автоматического доказательства теорем Coq, объявил в сентябре 2012 Жорж Гонтье, работавший вместе с группой сотрудников в подразделении Microsoft Research и INRIA.
Tallinn-Väike train station Tondi train and tram station A. Le Coq Arena, the home ground of the Estonia national football team and FC Flora Tallinn. Железнодорожная станция Таллин-Вяйке Трамвайная остановка Тонди А. Le Coq Arena, главный футбольный стадион Эстонии и домашний стадион эстонской футбольной сборной и клуба «Флора».
He led the Coq project in the 1990s with Christine Paulin, who developed the Coq proof assistant. Возглавлял проект Coq в 1990-х годах с Кристин Полин, разрабатывавшей проверку ассистента Coq.
Больше примеров...
Кок (примеров 2)
Let us remind that Estonia vs. Armenia match will take place at Tallinn A Le Coq Stadium, at 17:00cet. Напомним, что матч Эстония-Армения состоится 1-го апреля на стадионе "А Ле Кок" в 19:00мск.
Laura helps her to fight for love and Marie-Louise is so attached to this idea that when her son (Bernard Le Coq) finally convinces her that he will never return, the realization has dire consequences. Мари-Луиза продолжает надеяться на возвращение Александра, но сын (Бернард Ле Кок) убеждает её, что он никогда не вернётся к ней...
Больше примеров...