Отправить программное обеспечение
  1. Дома
  2. Windows
  3. Других
  4. Jape
  5. Download

Jape

Лицензии: Бесплатный ‎Размер файла: N/A
‎Рейтинг пользователей: 5.0/5 - ‎1 ‎Голосов

О Jape

Jape является настраиваемым графическим формально-доказательство калькулятор. Можно определить логику, решить, как ваши пользователи будут просматривать их доказательства, и многое другое. Он работает с вариантами последовательного исчисления и естественного вычета. Mac, Unix, Windows.

Похожие программы

  • Amazing Dialer Бесплатная пробная версия

    Поздравляем с получением Amazing Dialer, наиболее многокоммунервного и удобного для пользователей программного обеспечения для Windows! Эта мощная программа предоставляет все необходимое для работы с подключением к Интернету.

  • WW.com Webcam Бесплатный

    WW.com (Мир веб-камер) Веб-камера помещает ваш поток камеры в Интернете мгновенно. Получить бесплатную веб-камеру домашнюю страницу и мгновенно встретиться и пообщаться с другими веб-камерами ww.com. Работает с любой камерой

  • MSN Emoticons - Love Бесплатный

    Msn Смайлики Чужеродные смайлики легко использовать интегрировать их в любой вызов использовать их с вашим другом семьи или коллег сделать вызов более интересным с прохладной смайликов.

  • LIVE Streaming, Online Broadcast Monitor Бесплатный

    Соберите до 25 каналов потоковой передачи в прямом эфире из Livestream.com, Blogtv.com, uStream.tv, Justin.tv, Stickam США, Stickam Japan, Microsoft Media Server (MMS) и motion JPEG видео поток на одной и единственной страниц

  • Torque Themes & Editor (OBD 2) Бесплатная пробная версия

    Первый из 4 пакетов No 12 Cool Крутящий момент Темы - для крутящий момент Pro и Lite Бесплатные версии. Легкая установка, один нажатие кнопки.Комплект и сохранить! Тематический пакет 1- ОригиналТематический пакет 2 -

  • Web Messenger Бесплатная пробная версия

    GChat Web Messenger является полное коммуникационным инструментом, подходящим для интеграции с различными форумами и веб-сайтами. Он также может быть развернут в качестве автономного инструмента поддержки, обеспечивая 1-к-1,

  • AdRem iTools Бесплатная пробная версия

    AdRem iTools 2007 является важным набором сетевых инструментов, который сочетает в себе диагностические утилиты, такие как Ping, Traceroute, DNS Lookup, SNMP зритель, порт / сеть, пропускная способность сканера, и многое друг

  • .hack Server modded Mangos Core & SD2 Бесплатный

    Манго ядро и SD2 составлен с Chrnp Lawliet. Изменение на .hack Server ядро и скрипты манго вау сервера.

  • Bookmarks WebMaker Бесплатная пробная версия

    Закладки WebMaker позволяет сделать весь веб-сайт со ссылками на ваш интернет-исследователь избранное.Используя это программное обеспечение, вы сможете легко получить доступ к вашим любимым веб-страниц через интернет-браузе

  • "> Бесплатный

    Эта программа является открытым исходным кодом программного обеспечения бесплатно для личного и коммерческого использования, таким образом, идеальный выбор для тех, кто хочет альтернативу для более известных платных программ.