A computer program generating proofs in propositional logic
2001
Купить
Краткое содержание:
Экранизация книги

A computer program generating proofs in propositional logic

Автор:
Gadde Erland
Год:
1986
Язык:
Английский
Заглавие серии:
[Publications] / Univ. of Umeå. Dep. of mathematics ; 1986 δ\N
Описание:
Gadde E. A computer program generating proofs in propositional logic / Erland Gadde. - Umeå, 1986. - 27 л. разд. паг. ; 30 см. - ([Publications] / Univ. of Umeå. Dep. of mathematics ; 1986 δ\N). - Библиогр.: л. 27
Рейтинг по отзывам:
4.5
Материалы:
Реферат, Курсовая, ВКР/Диплом, Диссертация
Рубрики:
Математическая логика → Исчисление высказываний → Задачи → Решение на счетных машинах
Примечания:
Библиогр.: л. 27
ББК:
В123 ; В192.161с116
Дата создания:
2021-08-25 20:38:48
Соц. сети:
Важно
Реставрация книги
Пожалуйста, помогите актуализировать информацию
Загрузить фотографию актуальной обложки книги
Дополнить или обновить информацию о книге

Купить

Реферат по теме A computer program generating proofs in propositional logic

Заказать реферат Узнать стоимость Скачать пример
Помогите сайту стать лучше, ответьте на несколько вопросов про книгу:
A computer program generating proofs in propositional logic
Опросы
Она является известной среди большинства?
Да.
Нет.
Возможно.
Не знаю
Содержание

Реставрация A computer program generating proofs in propositional logic

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

Показать контакты
Объявление о покупке (разыскивается книга)
Объявление о продаже
Принимаются только объявления о покупке книги.
Внимание, объявления модерируются администрацией.
Принимаются только объявление о продаже книги.
Внимание, объявления модерируются администрацией.
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Публічна бібліотека ім. В.П. Некрасова
Киев город со специальным статусом, Київ, Подільський район, Поділ
Ярославська, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 10:00-18:00
 +380 (44) 425-05-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Просвещение трудящихся, библиотека №164
Москва, Москва, Даниловский район
Серпуховский Вал, 24 к2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 15:00-19:00
Пт: 15:00-19:00
Вконтакте:  https://vk.com/club21608535
Facebook:  https://facebook.com/bibl164
 +7 (495) 954-24-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №117
Москва, Москва, Некрасовка район, Люберецкие Поля м-н
Рождественская, 12
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru
 +7 (495) 706-89-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека им. И.И. Лажечникова
Московская область, Коломна городской округ, Коломна, Старая Коломна м-н
Октябрьской революции, 182
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
www.kolomna-regbibl.ru
Вконтакте:  https://vk.com/club77604663
 +7 (4966) 18-63-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11 им. Н.М. Перовского
Орловская область, Орёл городской округ, Орёл, Заводской район, Лужки
Лужковская, 53
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
cbsorel.ru
Вконтакте:  https://vk.com/pushkinka57
Твиттер:  https://twitter.com/@pushkinlib
 +7 (4862) 71-44-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №47
Республика Татарстан, Нижнекамский район, Нижнекамск
Вахитова проспект, 7
Расположение на карте
зимний период: вт-вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +7 (8555) 39-33-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. В.В. Маяковского
Чувашская Республика, Чебоксары городской округ, Чебоксары, Калининский район
Ивана Франко, 16
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
mayak.cheb.ru
Вконтакте:  https://vk.com/cheblib21
Инстаграм:  https://instagram.com/biblmayak
Facebook:  https://facebook.com/biblmayak.ru
 +7 (8352) 63-49-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Отрадненская сельская библиотека
Воронежская область, Новоусманский район, пос. Отрадное
50 лет Октября, 25
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 08:00-13:00 14:00-16:00
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Старобелокуриха
Алтайский край, Алтайский район, с. Старобелокуриха
Советская, 85
Расположение на карте
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 10:00-16:00
 +7 (38537) 2-64-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Национальный музей Республики Татарстан
Республика Татарстан, Казань городской округ, Казань, Вахитовский район
Кремлёвская, 2
Расположение на карте
по предварительной записи: пн-пт
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (843) 292-66-17
Показать номер
Рецензии и отзывы
Прикрепить файл
Похожие книги
Наличие в библиотеках
Название и адрес
Режим работы
Контактная информация
Телефон
Публічна бібліотека ім. В.П. Некрасова
Киев город со специальным статусом, Київ, Подільський район, Поділ
Ярославська, 32
Расположение на карте
санитарный день: последний день месяца
Пн: 11:00-19:00
Вт: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Вс: 10:00-18:00
 +380 (44) 425-05-37
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Просвещение трудящихся, библиотека №164
Москва, Москва, Даниловский район
Серпуховский Вал, 24 к2
Расположение на карте
санитарный день: последняя пт месяца
Вт: 15:00-19:00
Ср: 15:00-19:00
Чт: 15:00-19:00
Пт: 15:00-19:00
Вконтакте:  https://vk.com/club21608535
Facebook:  https://facebook.com/bibl164
 +7 (495) 954-24-07
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №117
Москва, Москва, Некрасовка район, Люберецкие Поля м-н
Рождественская, 12
Расположение на карте
санитарный день: последний вт месяца
Вт: 12:00-22:00
Ср: 12:00-22:00
Чт: 12:00-22:00
Пт: 12:00-22:00
Сб: 12:00-22:00
Вс: 12:00-20:00
cbsuvao.ru
 +7 (495) 706-89-85
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Межпоселенческая центральная библиотека им. И.И. Лажечникова
Московская область, Коломна городской округ, Коломна, Старая Коломна м-н
Октябрьской революции, 182
Расположение на карте
санитарный день: последняя пт месяца
Пн: 10:00-18:00
Вт: 10:00-18:00
Ср: 10:00-18:00
Чт: 10:00-18:00
Пт: 10:00-18:00
Сб: 10:00-18:00
www.kolomna-regbibl.ru
Вконтакте:  https://vk.com/club77604663
 +7 (4966) 18-63-90
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека №11 им. Н.М. Перовского
Орловская область, Орёл городской округ, Орёл, Заводской район, Лужки
Лужковская, 53
Расположение на карте
санитарный день: последний чт месяца
Пн: 11:00-19:00
Ср: 11:00-19:00
Чт: 11:00-19:00
Пт: 11:00-19:00
Сб: 10:00-18:00
Вс: 10:00-18:00
cbsorel.ru
Вконтакте:  https://vk.com/pushkinka57
Твиттер:  https://twitter.com/@pushkinlib
 +7 (4862) 71-44-17
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Детская библиотека №47
Республика Татарстан, Нижнекамский район, Нижнекамск
Вахитова проспект, 7
Расположение на карте
зимний период: вт-вс 9:00-17:00
Пн: 09:00-17:00
Вт: 09:00-17:00
Ср: 09:00-17:00
Чт: 09:00-17:00
Пт: 09:00-17:00
Сб: 09:00-17:00
 +7 (8555) 39-33-84
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Центральная городская библиотека им. В.В. Маяковского
Чувашская Республика, Чебоксары городской округ, Чебоксары, Калининский район
Ивана Франко, 16
Расположение на карте
санитарный день: последний чт месяца
Пн: 10:00-19:00
Вт: 10:00-19:00
Ср: 10:00-19:00
Чт: 10:00-19:00
Пт: 10:00-19:00
Вс: 10:00-18:00
mayak.cheb.ru
Вконтакте:  https://vk.com/cheblib21
Инстаграм:  https://instagram.com/biblmayak
Facebook:  https://facebook.com/biblmayak.ru
 +7 (8352) 63-49-93
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Отрадненская сельская библиотека
Воронежская область, Новоусманский район, пос. Отрадное
50 лет Октября, 25
Расположение на карте
Вт: 09:00-13:00 14:00-17:00
Ср: 09:00-13:00 14:00-17:00
Чт: 09:00-13:00 14:00-17:00
Пт: 09:00-13:00 14:00-17:00
Сб: 08:00-13:00 14:00-16:00
Название и адрес
Режим работы
Контактная информация
Телефон
Сельская библиотека, с. Старобелокуриха
Алтайский край, Алтайский район, с. Старобелокуриха
Советская, 85
Расположение на карте
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
Вс: 10:00-16:00
 +7 (38537) 2-64-33
Показать номер
Название и адрес
Режим работы
Контактная информация
Телефон
Библиотека, Национальный музей Республики Татарстан
Республика Татарстан, Казань городской округ, Казань, Вахитовский район
Кремлёвская, 2
Расположение на карте
по предварительной записи: пн-пт
Пн: 10:00-17:00
Вт: 10:00-17:00
Ср: 10:00-17:00
Чт: 10:00-17:00
Пт: 10:00-17:00
 +7 (843) 292-66-17
Показать номер
Информация от пользователей
Прикрепить файл
Книга находятся в категориях.