Logic for computer science : Found. of automatic theorem proving
2855
Купить
Краткое содержание:
Экранизация книги

Logic for computer science : Found. of automatic theorem proving

Автор:
Gallier Jean H.
Год:
Cop.1986
isbn:
0-06-042225-4
Язык:
Английский
Страниц:
509
Заглавие серии:
Harper & Row computer science and technology series
Описание:
Gallier J. H. Logic for computer science : Found. of automatic theorem proving / Jean H. Gallier. - Cambridge etc. : Harper & Row, Cop.1986. - XV, 509 с. : схем. ; 24 см. - (Harper & Row computer science and technology series). - "Notes a. suggestions for further reading" в конце глав
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математика → Теоретические доказательства на счетных машинах
Примечания:
"Notes a. suggestions for further reading" в конце глав
ББК:
В192.161с116
Дата создания:
2022-04-15 23:40:22
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Logic for computer science : Found. of automatic theorem proving

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Logic for computer science : Found. of automatic theorem proving
Опросы
Оригинал написан на мертвом языке?
Да, позже переведен на другие языки.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Logic for computer science : Found. of automatic theorem proving

Мойка листов, чистка, отбеливание, устранение заломов, восстановление разрывов, следов от влаги, травление насекомых, реставрация обложки и корешка, устранение укусов от собак и восстановление заломов на картоне, восстановление после падений, восстановление тиснения и рисунков, художественная покраска всех элементов обложки от мастеров Ленинской библиотеки. Мелкий ремонт (удаление пятен, плесени) или реставрацию обложки, уголков, корешка, листов, переплета книги

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3
Чуйская область, Токмок
Сарбагышева, 156
Расположение на карте
Пн: 08:30-12:00 13:00-17:00
Вт: 08:30-12:00 13:00-17:00
Ср: 08:30-12:00 13:00-17:00
Чт: 08:30-12:00 13:00-17:00
Пт: 08:30-12:00 13:00-17:00
Сб: 08:30-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Отырар, КГУ, областная научно-универсальная библиотека
Туркестанская область, Шымкент, Каратауский район, Нурсат 2 м-н
Астана проспект, 8
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-19:00
www.otyrarlib.kz
 +7 (7252) 77-11-50
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №94
Москва, Москва, Перово район
Аносова, 3 к2
Расположение на карте
санитарный день: последний чт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
 +7 (495) 309-15-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №200
Москва, Москва, Кунцево район
Ивана Франко, 32 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/club85588260
Facebook:  https://facebook.com/groups/854474938030303
 +7 (495) 417-41-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Агро-пустынская сельская библиотека
Рязанская область, Рязанский район, с. Агро-Пустынь
Комсомольская, 2
Расположение на карте
санитарный день: последний день месяца
Вт: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Чт: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
Сб: 10:00-13:00 14:00-17:00
Вс: 10:00-13:00 14:00-17:00
 +7-920-957-59-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №2
Республика Башкортостан, Уфа городской округ, Уфа, Кировский район, Южный м-н
Зайнаб Биишевой, 15
Расположение на карте
санитарный день: последняя пт месяца; зимний период: вт-сб 9:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
2.ufa-lib.ru
 +7 (347) 216-47-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Кузнецкий район
Ленина, 56
Расположение на карте
санитарный день: последний день месяца; летний период: пн-пт 10:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 37-65-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №9, г. Ишимбай
Республика Башкортостан, Ишимбайский район, Ишимбай
Геологическая, 34
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Вконтакте:  https://vk.com/biblioteka_iskusstv
Одноклассники:  https://ok.ru/biblioteka.iskusstvishimbay
 +7 (34794) 4-12-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5, г. Салават
Республика Башкортостан, Салават городской округ, Салават
Калинина, 6
Расположение на карте
сентябрь-май: пн выходной; вт-пт 10:00-17:00; сб 10:00-17:00; санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
 +7 (3476) 33-04-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская детско-юношеская библиотека
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Ключевская, 23а
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 10:00-18:00
deti.baikalib.ru
Вконтакте:  https://vk.com/youth_library03
Твиттер:  https://twitter.com/@rdub_uu
 +7 (3012) 41-87-97 +7 (3012) 41-87-85
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №3
Чуйская область, Токмок
Сарбагышева, 156
Расположение на карте
Пн: 08:30-12:00 13:00-17:00
Вт: 08:30-12:00 13:00-17:00
Ср: 08:30-12:00 13:00-17:00
Чт: 08:30-12:00 13:00-17:00
Пт: 08:30-12:00 13:00-17:00
Сб: 08:30-12:00 13:00-17:00
Название и адрес
Режим работы
Контактная информация
Телефон
Отырар, КГУ, областная научно-универсальная библиотека
Туркестанская область, Шымкент, Каратауский район, Нурсат 2 м-н
Астана проспект, 8
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 09:00-19:00
Вс: 09:00-19:00
www.otyrarlib.kz
 +7 (7252) 77-11-50
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №94
Москва, Москва, Перово район
Аносова, 3 к2
Расположение на карте
санитарный день: последний чт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbs-vao.ru
Вконтакте:  https://vk.com/cbsvao
Инстаграм:  https://instagram.com/cbsvao
Facebook:  https://facebook.com/cbsvao
 +7 (495) 309-15-67
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №200
Москва, Москва, Кунцево район
Ивана Франко, 32 к1
Расположение на карте
санитарный день: последняя пт месяца
Вт: 12:00-21:00
Ср: 12:00-21:00
Чт: 12:00-21:00
Пт: 12:00-21:00
Сб: 12:00-21:00
Вс: 12:00-20:00
Вконтакте:  https://vk.com/club85588260
Facebook:  https://facebook.com/groups/854474938030303
 +7 (495) 417-41-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Агро-пустынская сельская библиотека
Рязанская область, Рязанский район, с. Агро-Пустынь
Комсомольская, 2
Расположение на карте
санитарный день: последний день месяца
Вт: 10:00-13:00 14:00-17:00
Ср: 10:00-13:00 14:00-17:00
Чт: 10:00-13:00 14:00-17:00
Пт: 10:00-13:00 14:00-17:00
Сб: 10:00-13:00 14:00-17:00
Вс: 10:00-13:00 14:00-17:00
 +7-920-957-59-63
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №2
Республика Башкортостан, Уфа городской округ, Уфа, Кировский район, Южный м-н
Зайнаб Биишевой, 15
Расположение на карте
санитарный день: последняя пт месяца; зимний период: вт-сб 9:00-20:00
Вт: 11:00-20:00
Ср: 11:00-20:00
Чт: 11:00-20:00
Пт: 11:00-20:00
Сб: 11:00-20:00
2.ufa-lib.ru
 +7 (347) 216-47-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Муниципальная информационно-библиотечная система г. Новокузнецка, МБУ
Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Кузнецкий район
Ленина, 56
Расположение на карте
санитарный день: последний день месяца; летний период: пн-пт 10:00-18:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-18:00
www.libnvkz.ru
новокузнецк400.рф
Вконтакте:  https://vk.com/gogolevka
Инстаграм:  https://instagram.com/gogolevka
Facebook:  https://facebook.com/gogolevka
Одноклассники:  https://ok.ru/gogolevka
Твиттер:  https://twitter.com/@gogolevka
Youtube:  https://youtube.com/channel/UCsQiDessCogQV7GKtxyJaMQ
Pinterest:  https://pinterest.com/gogolevka
 +7 (3843) 37-65-44
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Модельная библиотека №9, г. Ишимбай
Республика Башкортостан, Ишимбайский район, Ишимбай
Геологическая, 34
Расположение на карте
санитарный день: последняя пт месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 09:00-13:00 14:00-18:00
Ср: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00
Пт: 09:00-13:00 14:00-18:00
Вконтакте:  https://vk.com/biblioteka_iskusstv
Одноклассники:  https://ok.ru/biblioteka.iskusstvishimbay
 +7 (34794) 4-12-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №5, г. Салават
Республика Башкортостан, Салават городской округ, Салават
Калинина, 6
Расположение на карте
сентябрь-май: пн выходной; вт-пт 10:00-17:00; сб 10:00-17:00; санитарный день: последний день месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-18:00
 +7 (3476) 33-04-70
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Республиканская детско-юношеская библиотека
Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Ключевская, 23а
Расположение на карте
санитарный день: последняя ср месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 10:00-18:00
deti.baikalib.ru
Вконтакте:  https://vk.com/youth_library03
Твиттер:  https://twitter.com/@rdub_uu
 +7 (3012) 41-87-97 +7 (3012) 41-87-85
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.