Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures
2950
Купить
Краткое содержание:
Экранизация книги

Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures

Автор:
Рязанов А. Е.
Год:
1998
Язык:
Русский
Страниц:
42
Заглавие серии:
Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова ; 50
Описание:
Рязанов А. Е. Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures / А.Е.Рязанов. - Новосибирск : ИСИ, 1998. - 42 с. ; 20 см. - (Препринт / Рос. акад. наук. Сиб. отд-ние, Ин-т систем информатики им. А.П.Ершова ; 50). - Библиогр.: с.42
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Программы(компьют.) → Верификация
Примечания:
Авт. также на англ.яз.: A.E.Ryazanov . - Рез. на англ.яз. . - Библиогр.: с.42
Дата создания:
2021-06-20 20:12:00
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures
Опросы
является ли культурным достоянием?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №30
Одесская область, Одесса, Суворовский район, Посёлок Котовского м-н
Крымская, 58
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
Вс: 09:30-18:00
 +380 (482) 52-78-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. А. Гайдара
Карагандинская область, Темиртау городская администрация, Темиртау, Старый город м-н
Казахстанская, 11
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
 +7 (7213) 93-43-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №2, МБУК Централизованная Библиотечная Система, г. Первоуральск
Свердловская область, Первоуральск городской округ, Первоуральск
Емлина, 2
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-18:00
www.prv-lib.ru
Вконтакте:  https://vk.com/prvlib
 +7 (3439) 64-84-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, с. Новоникольск
Советская, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Федоровский библиотечный пункт
Тульская область, Тула городской округ, с. Федоровка
Федоровка с, 50а
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru/o-sisteme/nashi-biblioteki/fedorovskoe-bibliotechnoe-obedinenie
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Центрального района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Центральный район
Донская, 92
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
library-sochi.ru
 +7 (862) 253-17-04 +7 (862) 255-57-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Верх-Ирменская библиотека
Новосибирская область, Ордынский район, с. Верх-Ирмень
Кандикова, 73
Расположение на карте
Пн: 10:30-17:30
Вт: 10:30-17:30
Ср: 10:30-17:30
Чт: 10:30-17:30
Пт: 10:30-17:30
 +7 (38359) 2-18-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Миловская библиотека
Республика Башкортостан, Уфимский район, с. Миловка
Михайлова, 1
Расположение на карте
зимний период: вт-пт 11:00-19:00, перерыв: 15:00-16:00; сб 10:00-18:00, перерыв: 14:00-15:00; пн выходной
Пн: 10:00-14:00 15:00-18:00
Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00
 +7 (347) 271-70-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8
Республика Татарстан, Казань городской округ, Казань, Вахитовский район, Ново-Татарская слобода
Меховщиков, 7
Расположение на карте
санитарный день: последний понедельник месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
cbskazan.ru
Вконтакте:  https://vk.com/cbs_kazan
 +7 (843) 293-00-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6
Забайкальский край, Чита городской округ, Чита, Центральный район
Евгения Гаюсана, 30а
Расположение на карте
зимний период: пн-пт, вс 8:00-17:00; санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
cbs-chita.ru
 +7 (3022) 31-98-31
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №30
Одесская область, Одесса, Суворовский район, Посёлок Котовского м-н
Крымская, 58
Расположение на карте
санитарный день: последняя пт месяца
Вт: 09:30-18:00
Ср: 09:30-18:00
Чт: 09:30-18:00
Пт: 09:30-18:00
Сб: 09:30-18:00
Вс: 09:30-18:00
 +380 (482) 52-78-36
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная детская библиотека им. А. Гайдара
Карагандинская область, Темиртау городская администрация, Темиртау, Старый город м-н
Казахстанская, 11
Расположение на карте
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Сб: 09:00-18:00
 +7 (7213) 93-43-13
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Городская библиотека №2, МБУК Централизованная Библиотечная Система, г. Первоуральск
Свердловская область, Первоуральск городской округ, Первоуральск
Емлина, 2
Расположение на карте
санитарный день: последний рабочий день месяца
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Вс: 11:00-18:00
www.prv-lib.ru
Вконтакте:  https://vk.com/prvlib
 +7 (3439) 64-84-68
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека
Приморский край, Уссурийский городской округ, с. Новоникольск
Советская, 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
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Федоровский библиотечный пункт
Тульская область, Тула городской округ, с. Федоровка
Федоровка с, 50а
Расположение на карте
Пн: 11:00-18:00
Вт: 11:00-18:00
Ср: 11:00-18:00
Чт: 11:00-18:00
Пт: 11:00-18:00
Сб: 11:00-17:00
tbclib.ru/o-sisteme/nashi-biblioteki/fedorovskoe-bibliotechnoe-obedinenie
Название и адрес
Режим работы
Контактная информация
Телефон
Централизованная библиотечная система Центрального района г. Сочи
Краснодарский край, Сочи городской округ, Сочи, Центральный район
Донская, 92
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
library-sochi.ru
 +7 (862) 253-17-04 +7 (862) 255-57-38
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Верх-Ирменская библиотека
Новосибирская область, Ордынский район, с. Верх-Ирмень
Кандикова, 73
Расположение на карте
Пн: 10:30-17:30
Вт: 10:30-17:30
Ср: 10:30-17:30
Чт: 10:30-17:30
Пт: 10:30-17:30
 +7 (38359) 2-18-41
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Миловская библиотека
Республика Башкортостан, Уфимский район, с. Миловка
Михайлова, 1
Расположение на карте
зимний период: вт-пт 11:00-19:00, перерыв: 15:00-16:00; сб 10:00-18:00, перерыв: 14:00-15:00; пн выходной
Пн: 10:00-14:00 15:00-18:00
Вт: 10:00-14:00 15:00-18:00
Ср: 10:00-14:00 15:00-18:00
Чт: 10:00-14:00 15:00-18:00
Пт: 10:00-14:00 15:00-18:00
 +7 (347) 271-70-66
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №8
Республика Татарстан, Казань городской округ, Казань, Вахитовский район, Ново-Татарская слобода
Меховщиков, 7
Расположение на карте
санитарный день: последний понедельник месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
cbskazan.ru
Вконтакте:  https://vk.com/cbs_kazan
 +7 (843) 293-00-05
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №6
Забайкальский край, Чита городской округ, Чита, Центральный район
Евгения Гаюсана, 30а
Расположение на карте
зимний период: пн-пт, вс 8:00-17:00; санитарный день: последний день месяца
Пн: 09:00-18:00
Вт: 09:00-18:00
Ср: 09:00-18:00
Чт: 09:00-18:00
Пт: 09:00-18:00
Вс: 09:00-18:00
cbs-chita.ru
 +7 (3022) 31-98-31
Показать номер
Информация от пользователей
Азат Нагирян
Система Буцефал: комбинирование дедуктивных процедур и описание стратегий поиска доказательств = System Butsephalas: defining proof-search strategies and combining deductive procedures / Д. А. Буле, А. В. Величко ; РАН, Ин-т философии. - Москва : Центр гуманитарных инициатив, 2017. - 255 с. : ил., табл.; 23 см.; ISBN 978-5-98712-779-1 Авт. указаны на обороте тит. л. Социология -- Социальные институты -- Руководство и управление -- Теория и методология социологии -- Социология групп и социальных групп -- Социально-психологические теории личности -- Социологические исследования личности -- Методология социологии личности Теория и методика конкретных социальных
Прикрепить файл
Книга находятся в категориях.