993

Купить

Краткое содержание:

Экранизация книги

Handbook of automated reasoning

Name: Handbook of automated reasoning
Rating: 4.5
ISBN: 0-444-50813-9

Год:

2006; Связанные записи

isbn:

0-444-50813-9

Язык:

Английский

Редакция:

[Repr.].

Описание:

Handbook of automated reasoning / ed. Alan Robinson a. Andrei Voronkov. - [Repr.]. - Amsterdam [etc.] ; Cambridge (Mass.) : Elsevier MIT press, 2006. - 25 см. - Библиогр. и указ. в конце ст.

Рейтинг по отзывам:

4.5

Материалы:

Реферат, Курсовая, ВКР/Диплом, Диссертация

Рубрики:

Автоматические доказательства

Примечания:

Библиогр. и указ. в конце ст.

Другие ответственные лица:

Robinson, Alan → Редактор

Дата создания:

2021-10-29 13:07:08

Соц. сети:

Важно

Реставрация книги

Пожалуйста, помогите актуализировать информацию

Загрузить фотографию актуальной обложки книги

Дополнить или обновить информацию о книге

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №4

Павлодарская область, Павлодар
Сибирская, 56
Расположение на карте

июнь-август: вт-сб 10:00-18:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00

+7 (7182) 51-59-31

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

АЦБК, АО, научно-техническая библиотека

Архангельская область, Новодвинск городской округ, Новодвинск
Фронтовых бригад, 15 к2
Расположение на карте

Вт: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00

+7 (81852) 4-40-85

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Общество изучения Амурского края, библиотека, Русское географическое общество

Приморский край, Владивостокский городской округ, Владивосток, Ленинский район
Петра Великого, 4
Расположение на карте

Пн: 10:00-12:30 13:00-17:00
Вт: 10:00-12:30 13:00-17:00
Ср: 10:00-12:30 13:00-17:00
Чт: 10:00-12:30 13:00-17:00

+7 (423) 226-48-20

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК

Кемеровская область, Новокузнецкий район, пос. Елань
Октябрьская, 15
Расположение на карте

Вт: 09:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-17:00

www.rcbs-nmr.kuzreg.ru

+7 (3843) 55-36-31

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека, МБУК

Владимирская область, Владимир городской округ, Владимир, Октябрьский район, Коммунар м-н
Песочная (Коммунар), 15
Расположение на карте

санитарный день: последний день месяца
Пн: 11:00-14:00 15:00-19:00
Вт: 11:00-14:00 15:00-19:00
Ср: 11:00-14:00 15:00-19:00
Чт: 11:00-14:00 15:00-19:00
Вс: 11:00-14:00 15:00-19:00

biblioteka33.ru

+7 (4922) 42-53-95

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная научная библиотека, Бурятский научный центр СО РАН

Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Сахьяновой, 6
Расположение на карте

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00

+7 (3012) 43-42-37

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Бачатская библиотека

Кемеровская область, Беловский городской округ, пгт Бачатский
Спортивная, 2
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 09:00-16:00

+7 (38452) 7-38-02

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Республиканская юношеская библиотека

Республика Татарстан, Казань городской округ, Казань, Ново-Савиновский район, 41-й квартал
Ибрагимова проспект, 53Б
Расположение на карте

санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

www.ryltat.ru
Facebook: https://facebook.com/groups/libjuv
Одноклассники: https://ok.ru/group/52665674563786
Твиттер: https://twitter.com/@ryubtat

+7 (843) 523-55-09 +7 (843) 523-55-05 +7 (843) 523-55-06

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №16

Забайкальский край, Чита городской округ, Чита
Ползунова, 26
Расположение на карте

зимний период: пн-пт 8:00-17:00, перерыв: 13:00-14:00; вс 9:00-17:00; санитарный день: последний день месяца
Пн: 09:00-13:00 14:00-18:00
Вт: 08:00-13:00 14:00-17:00
Ср: 08:00-13:00 14:00-17:00
Чт: 08:00-13:00 14:00-17:00
Пт: 08:00-13:00 14:00-17:00
Вс: 10:00-18:00

cbs-chita.ru

+7 (3022) 20-84-24

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Балтийская централизованная библиотечная система, МБУК

Калининградская область, Балтийский район, Балтийск, Коса
Некрасова, 13
Расположение на карте

baltlib.ru

Наличие в библиотеках

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №4

Павлодарская область, Павлодар
Сибирская, 56
Расположение на карте

июнь-август: вт-сб 10:00-18:00; пн выходной
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 10:00-19:00

+7 (7182) 51-59-31

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

АЦБК, АО, научно-техническая библиотека

Архангельская область, Новодвинск городской округ, Новодвинск
Фронтовых бригад, 15 к2
Расположение на карте

Вт: 09:00-13:00 14:00-18:00
Чт: 09:00-13:00 14:00-18:00

+7 (81852) 4-40-85

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Общество изучения Амурского края, библиотека, Русское географическое общество

Пн: 10:00-12:30 13:00-17:00
Вт: 10:00-12:30 13:00-17:00
Ср: 10:00-12:30 13:00-17:00
Чт: 10:00-12:30 13:00-17:00

+7 (423) 226-48-20

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК

Кемеровская область, Новокузнецкий район, пос. Елань
Октябрьская, 15
Расположение на карте

Вт: 09:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Сб: 10:00-17:00

www.rcbs-nmr.kuzreg.ru

+7 (3843) 55-36-31

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная городская библиотека, МБУК

biblioteka33.ru

+7 (4922) 42-53-95

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Центральная научная библиотека, Бурятский научный центр СО РАН

Республика Бурятия, Улан-Удэ городской округ, Улан-Удэ, Октябрьский район
Сахьяновой, 6
Расположение на карте

санитарный день: последняя пт месяца
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00

+7 (3012) 43-42-37

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Бачатская библиотека

Кемеровская область, Беловский городской округ, пгт Бачатский
Спортивная, 2
Расположение на карте

санитарный день: последний чт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Вс: 09:00-16:00

+7 (38452) 7-38-02

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Республиканская юношеская библиотека

санитарный день: последняя пт месяца
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00

www.ryltat.ru
Facebook: https://facebook.com/groups/libjuv
Одноклассники: https://ok.ru/group/52665674563786
Твиттер: https://twitter.com/@ryubtat

+7 (843) 523-55-09 +7 (843) 523-55-05 +7 (843) 523-55-06

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Библиотека №16

Забайкальский край, Чита городской округ, Чита
Ползунова, 26
Расположение на карте

cbs-chita.ru

+7 (3022) 20-84-24

Показать номер

Название и адрес

Режим работы

Контактная информация

Телефон

Балтийская централизованная библиотечная система, МБУК

Калининградская область, Балтийский район, Балтийск, Коса
Некрасова, 13
Расположение на карте

baltlib.ru

Handbook of automated reasoning

Купить

Реферат по теме Handbook of automated reasoning

Курсовая по теме Handbook of automated reasoning

ВКР/Диплом по теме Handbook of automated reasoning

Диссертация по теме Handbook of automated reasoning

Заработать на знаниях по теме Handbook of automated reasoning

Реставрация Handbook of automated reasoning