Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические […]
Вики
1989 software
Вики
Нисус Писатель
Писатель Найсуса Обзор программы Nisus Writer Nisus Writer — это программа для обработки текстов, разработанная для Apple Macintosh. Существует две
Вики
Microsoft Office
Офис Microsoft История и развитие Microsoft Office Microsoft Office — это пакет офисных приложений, разработанный Microsoft. Office был представлен в
Вики
Оболочка Альмквиста
Раковина Алмквиста История и особенности Almquist shell Almquist shell (ash) — облегченная оболочка для Unix, созданная Кеннетом Альмквистом в 1980-х.
Вики
Coq (программное обеспечение)
Coq (программное обеспечение) Обзор Coq Coq — это инструмент для доказательства теорем, выпущенный в 1989 году. Он позволяет выражать математические