Избранное
Войти
Корзина
×
Сейчас вы находитесь в городе Москва
Выберите город, в который Вы хотите осуществить доставку
×
×
Доставка в
город Основные характеристики
Продавец
Местонахождение
Highland, US
Доставка до склада в США
Бесплатно
Автор:
Fitting, Melvin
Название книги:
First-Order Logic and Automated Theorem Proving
Охватывать:
Hardcover
Язык:
English
Книжная серия:
Texts In Computer Science
Издатель:
Springer
Публикация год:
1995
Наведите Опубликовано:
New York, NY
Страницы:
326
Формат:
Hardcover
Издание:
2nd Edition
Печать:
1st Printing
Книга Состояние:
Good with no dust jacket
Страна происхождения:
United States
ISBN:
0387945938
Отзывы на сервис Shopozz
Похожие товары
Другие бренды категории
Нужна помощь?
First-Order Logic and Automated Theorem Proving — купить с доставкой в Россию и СНГ
First-Order Logic and Automated Theorem Proving можно купить в нашем интернет-магазине с доставкой из Highland, US в Россию и страны СНГ по цене 18490 руб. Все товары из категории «Книги» доставляются в соответствии с обозначенными правилами в разделе «Доставка».
Если у вас возникли вопросы по товару, оплате, гарантии или доставке до вашего населённого пункта - Закажите обратный звонок!.
Приобретая товар «First-Order Logic and Automated Theorem Proving» через SHOPOZZ, вы можете быть уверенны в том, что получите качественный продукт, предназначенный для продажи в Highland, US.
Смотрите нас на
Секретные промокоды и доступы к зарубежным распродажам в нашей полезной рассылке
Нажимая на кнопку «Подписаться» вы соглашаетесь на обработку персональных данных
Спасибо!
На вашу почту отправлено письмо с подтверждением.
Пожалуйста, перейдите по ссылке в письме, чтобы завершить подписку.
На вашу почту отправлено письмо с подтверждением.
Пожалуйста, перейдите по ссылке в письме, чтобы завершить подписку.