Система машинной поддержки доказательства: от тактикалов к генератору тактикалов = A software support for formal reasoning: from tacticals to tactical generator
2750
Купить
Краткое содержание:
Экранизация книги

Система машинной поддержки доказательства: от тактикалов к генератору тактикалов = A software support for formal reasoning: from tacticals to tactical generator

Автор:
Ануреев Игорь Сергеевич
Год:
2002
Язык:
Русский
Страниц:
29
Заглавие серии:
Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 96
Описание:
Ануреев И. С. Система машинной поддержки доказательства: от тактикалов к генератору тактикалов = A software support for formal reasoning: from tacticals to tactical generator / И.С. Ануреев. - Новосибирск : ИСИ, 2002. - 29 с. ; 21 см. - (Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П. Ершова ; 96). - Библиогр.: с. 29 (12 назв.)
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Генераторы программ
Примечания:
Рез. на англ. яз. . - Библиогр.: с. 29 (12 назв.)
ББК:
32.973.26-018.1
Дата создания:
2021-05-02 00:05:14
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Система машинной поддержки доказательства: от тактикалов к генератору тактикалов = A software support for formal reasoning: from tacticals to tactical generator

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Система машинной поддержки доказательства: от тактикалов к генератору тактикалов = A software support for formal reasoning: from tacticals to tactical generator
Опросы
Эту книгу трудно достать?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Система машинной поддержки доказательства: от тактикалов к генератору тактикалов = A software support for formal reasoning: from tacticals to tactical generator

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека, г. Подольск
Московская область, Подольск городской округ, Подольск, Межшоссейный м-н
Свердлова, 38
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
cbspodolsk.ru
 +7 (4967) 54-67-10 +7 (4967) 54-45-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №151
Москва, Москва, Чертаново Центральное район
Чертановская, 27 к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
 +7 (495) 313-55-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека Приморского района
Архангельская область, Приморский район, д. Большое Анисимово
60 лет Октября, 18
Расположение на карте
primlib.ru
Вконтакте:  https://vk.com/primlib
 +7 (8182) 60-21-22 +7 (8182) 25-43-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Большепикинская библиотека
Нижегородская область, Бор городской округ, Бор, Большое Пикино
1 Мая, 10
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-15:00
 +7 (83159) 5-05-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, с. Новоникольск
Советская, 87
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-13:00 15:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-13:00 14:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 39-31-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Свердловский округ, Академгородок м-н
Лермонтова, 301
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
cbs.irkipedia.ru
 +7 (3952) 42-76-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №32
Саратовская область, Саратов городской округ, Саратов, Кировский район, им. Пугачёва Е.И. 3-й пос.
Танкистов, 68
Расположение на карте
санитарный день: последняя пт месяца; июль-август: вт-сб 10:00-20: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 (8452) 64-90-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11, Невский район
Санкт-Петербург, Санкт-Петербург, Невский район, МО №50 "Ивановский"
Красных Зорь бульвар, 1
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (812) 362-16-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. Рассвет
Центральная, 16а
Расположение на карте
санитарный день: последняя пт месяца
Пт: 13:00-17:30
www.rcbs-nmr.kuzreg.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Поселенческая библиотека, пос. Заря
Алтайский край, Бийский район, пос. Заря
Юбилейная, 18а
Расположение на карте
Пн: 09:00-13:00 14:00-16:30
Вт: 09:00-13:00 14:00-16:30
Ср: 09:00-13:00 14:00-16:30
Чт: 09:00-13:00 14:00-16:30
 +7 (3854) 77-11-94
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная библиотека, г. Подольск
Московская область, Подольск городской округ, Подольск, Межшоссейный м-н
Свердлова, 38
Расположение на карте
санитарный день: последний день месяца
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09:00-19:00
Сб: 11:00-19:00
Вс: 11:00-19:00
cbspodolsk.ru
 +7 (4967) 54-67-10 +7 (4967) 54-45-80
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №151
Москва, Москва, Чертаново Центральное район
Чертановская, 27 к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
 +7 (495) 313-55-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека Приморского района
Архангельская область, Приморский район, д. Большое Анисимово
60 лет Октября, 18
Расположение на карте
primlib.ru
Вконтакте:  https://vk.com/primlib
 +7 (8182) 60-21-22 +7 (8182) 25-43-73
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Большепикинская библиотека
Нижегородская область, Бор городской округ, Бор, Большое Пикино
1 Мая, 10
Расположение на карте
Пн: 10:00-13:00 14:00-18:00
Вт: 10:00-13:00 14:00-18:00
Ср: 10:00-13:00 14:00-18:00
Чт: 10:00-13:00 14:00-18:00
Пт: 10:00-13:00 14:00-18:00
Вс: 10:00-15:00
 +7 (83159) 5-05-69
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, с. Новоникольск
Советская, 87
Расположение на карте
санитарный день: последняя пт месяца; методический день: третья ср месяца
Пн: 10:00-13:00 15:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Сб: 09:00-13:00 14:00-17:00
cbs-ussuri.ru
Одноклассники:  https://ok.ru/group/52389333303486
 +7 (4234) 39-31-62
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №20 им. Е.А. Евтушенко, информационно досуговый центр, МБУК Централизованная библиотечная система
Иркутская область, Иркутск городской округ, Иркутск, Свердловский округ, Академгородок м-н
Лермонтова, 301
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Вс: 11:00-19:00
cbs.irkipedia.ru
 +7 (3952) 42-76-43
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №32
Саратовская область, Саратов городской округ, Саратов, Кировский район, им. Пугачёва Е.И. 3-й пос.
Танкистов, 68
Расположение на карте
санитарный день: последняя пт месяца; июль-август: вт-сб 10:00-20: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 (8452) 64-90-16
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №11, Невский район
Санкт-Петербург, Санкт-Петербург, Невский район, МО №50 "Ивановский"
Красных Зорь бульвар, 1
Расположение на карте
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
 +7 (812) 362-16-77
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Районная централизованная библиотечная система Новокузнецкого муниципального района, МБУК
Кемеровская область, Новокузнецкий район, пос. Рассвет
Центральная, 16а
Расположение на карте
санитарный день: последняя пт месяца
Пт: 13:00-17:30
www.rcbs-nmr.kuzreg.ru
Название и адрес
Режим работы
Контактная информация
Телефон
Поселенческая библиотека, пос. Заря
Алтайский край, Бийский район, пос. Заря
Юбилейная, 18а
Расположение на карте
Пн: 09:00-13:00 14:00-16:30
Вт: 09:00-13:00 14:00-16:30
Ср: 09:00-13:00 14:00-16:30
Чт: 09:00-13:00 14:00-16:30
 +7 (3854) 77-11-94
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.