Добро пожаловать, Гость! Вы можете войти или зарегистрироваться
Обратная связь
Войти через  
Visa MasterCard WebMoney Яндекс.Деньги PayPal
270 пунктов выдачи, доставка в 91 городе
8-800-707-3313
(по России бесплатно)
Мой регион
Натуральный вывод
Книга






Д. Правиц

Натуральный вывод

     0
0 (0 голосов )
  • ISBN: 5-85582-026-2
  • 108 страниц
  • ноябрь 1997
  • Лори
  • 175 г

Аннотация к книге "Натуральный вывод"

Натуральный вывод - одна из лучших монографий в мировой логической литературе, посвященная анализу эффективного и перспективного в плане различных приложений метода формулировки логических систем натурального вывода.
Эта книга - не имеющий аналогов источник концентрированной информации как для логиков-профессионалов, так и для всех, кто стремится получить глубокие знания в области формализации логических доказательств.

Вместе с этой книгой покупают

[Next]
Проектируем время. Психология восприятия времени в программном обеспечении
Пионеры программирования. Диалоги с создателями наиболее популярных языков программирования
Алан Купер об интерфейсе. Основы проектирования взаимодействия
97 этюдов для архитекторов программных систем
Программирование на C++. Трюки и эффекты (+CD)
Тотальная видимость. Как наши находки меняют нас
Факты и заблуждения профессионального программирования
Алгоритмы интеллектуального Интернета
Язык программирования D
Qt. Профессиональное программирование. Разработка кроссплатформенных приложений на С++
Проектируем время. Психология восприятия времени в программном обеспечении
Стивен Сеов
11.05 USD
8.84 USD
Пионеры программирования. Диалоги с создателями наиболее популярных языков программирования
Федерико Бьянкуцци, Шейн Уорден
10.23 USD
8.18 USD
Алан Купер об интерфейсе. Основы проектирования взаимодействия
Д. Кронин, Р. Рейман, Алан Купер
26.39 USD
13.19 USD
97 этюдов для архитекторов программных систем
Н. Форд, Майкл Найгард, Билл Де Ора
9.85 USD
Программирование на C++. Трюки и эффекты (+CD)
А. Чиртик
2.52 USD
Тотальная видимость. Как наши находки меняют нас
Питер Морвиль
4.76 USD
3.81 USD
Факты и заблуждения профессионального программирования
Р. Гласс
4.76 USD
3.81 USD
Алгоритмы интеллектуального Интернета
Хараламбос Марманис, Дмитрий Бабенко
17.36 USD
13.89 USD
Язык программирования D
Андрей Александреску
26.55 USD
Qt. Профессиональное программирование. Разработка кроссплатформенных приложений на С++
Марк Саммерфилд
21.54 USD
В корзину В корзину В корзину В корзину В корзину В корзину В корзину В корзину В корзину В корзину

New & best!