Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

1244

Купить

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

Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Name: Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..
Rating: 4.5

Автор:

Ngoa Marie-Hélène

Год:

1967

Язык:

Французский

Описание:

Ngoa M. H. Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille .. / par Marie-Hélène Ngoa. - S. l., [1967]. - 86 л. разд. паг. : ил. ; 27 см. - Библиогр.: л. [1-4] последней паг.

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

4.5

Материалы:

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

Рубрики:

Математическая логика → Исчисление предикатов

Примечания:

Отпеч. множит. аппаратом на одной стороне листа . - Библиогр.: л. [1-4] последней паг.

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

2022-01-18 08:25:33

Соц. сети:

Важно

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

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

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

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

Реферат по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Заказать реферат Узнать стоимость Скачать пример

Курсовая по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Заказать курсовую Узнать стоимость Скачать пример

ВКР/Диплом по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Заказать диплом Узнать стоимость Скачать пример

Диссертация по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Заказать диссертацию Узнать стоимость Скачать пример

Заработать на знаниях по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Заработать от 15 000 руб. до 150 000 руб.

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

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

Режим работы

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

Телефон

Бібліотека ім. Ю. Смолича

Киев город со специальным статусом, Київ, Дарницький район
Здолбунівська, 3а
Расположение на карте

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

smolich.cbsdarniza.com.ua

+380 (44) 574-96-36

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

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

Режим работы

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

Телефон

Республиканская научно-техническая библиотека, АО

Алматы, Алматы, Бостандыкский район
Сатпаева, 53
Расположение на карте

Пн: 09:00-18:30
Вт: 09:00-18:30
Ср: 09:00-18:30
Чт: 09:00-18:30
Пт: 09:00-18:30

+7 (727) 338-57-72

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

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

Режим работы

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

Телефон

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

Мангистауская область, Актау городская администрация, Актау, 4-й м-н
4-й микрорайон, 71
Расположение на карте

Пн: 09:00-18:30
Вт: 09:00-18:30
Ср: 09:00-18:30
Чт: 09:00-18:30
Пт: 09:00-18:30
Сб: 09:00-18:30

+7 (7292) 77-80-12 +7 (7292) 77-80-10 +7 (7292) 77-80-13 +7 (7292) 77-80-14

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

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

Режим работы

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

Телефон

Детская библиотека №6

Смоленская область, Смоленск городской округ, Смоленск, Промышленный район, Поповка
Рыленкова, 6а
Расположение на карте

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

smolensk.library67.ru

+7 (4812) 55-36-23

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

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

Режим работы

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

Телефон

Президентская библиотека им. Б.Н. Ельцина

Санкт-Петербург, Санкт-Петербург, Адмиралтейский район, МО №3 "Адмиралтейский"
Сенатская площадь, 3
Расположение на карте

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

www.prlib.ru
Твиттер: https://twitter.com/@presidentiallib

+7 (812) 305-16-21

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

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

Режим работы

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

Телефон

Медиалог, библиотека

Санкт-Петербург, Санкт-Петербург, Красносельский район, МО №40 "Урицк"
Партизана Германа, 5
Расположение на карте

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

medialoglib.esy.es
Вконтакте: https://vk.com/medialog

+7 (812) 735-26-40

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

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

Режим работы

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

Телефон

Научно-техническая библиотека, СибГИУ

Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Бардина проспект, 25
Расположение на карте

Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-14:00

library.sibsiu.ru
Вконтакте: https://vk.com/library.sibsiu

+7 (3843) 78-44-10

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

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

Режим работы

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

Телефон

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

Кемеровская область, Новокузнецкий городской округ, Новокузнецк, Центральный район
Строителей проспект, 21
Расположение на карте

санитарный день: последняя ср месяца; летний период: пн-пт 10:00-18:00
Пн: 09:00-19:00
Вт: 09:00-19:00
Ср: 09:00-19:00
Чт: 09:00-19:00
Пт: 09: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) 45-45-37

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

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

Режим работы

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

Телефон

Центральная модельная детская библиотека г. Новоалтайска

Алтайский край, Новоалтайск городской округ, Новоалтайск, Старый центр
22 Партсъезда, 7
Расположение на карте

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

+7 (38532) 4-72-12

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

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

Режим работы

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

Телефон

Детская библиотека №9, г. Стерлитамак

Республика Башкортостан, Стерлитамак городской округ, Стерлитамак, Восточный
Щербакова, 7
Расположение на карте

санитарный день: первая ср месяца
Вт: 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-17:00

+7 (3473) 25-66-01

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

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

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

Режим работы

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

Телефон

Бібліотека ім. Ю. Смолича

Киев город со специальным статусом, Київ, Дарницький район
Здолбунівська, 3а
Расположение на карте

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

smolich.cbsdarniza.com.ua

+380 (44) 574-96-36

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

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

Режим работы

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

Телефон

Республиканская научно-техническая библиотека, АО

Алматы, Алматы, Бостандыкский район
Сатпаева, 53
Расположение на карте

Пн: 09:00-18:30
Вт: 09:00-18:30
Ср: 09:00-18:30
Чт: 09:00-18:30
Пт: 09:00-18:30

+7 (727) 338-57-72

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

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

Режим работы

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

Телефон

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

Мангистауская область, Актау городская администрация, Актау, 4-й м-н
4-й микрорайон, 71
Расположение на карте

Пн: 09:00-18:30
Вт: 09:00-18:30
Ср: 09:00-18:30
Чт: 09:00-18:30
Пт: 09:00-18:30
Сб: 09:00-18:30

+7 (7292) 77-80-12 +7 (7292) 77-80-10 +7 (7292) 77-80-13 +7 (7292) 77-80-14

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

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

Режим работы

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

Телефон

Детская библиотека №6

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

smolensk.library67.ru

+7 (4812) 55-36-23

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

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

Режим работы

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

Телефон

Президентская библиотека им. Б.Н. Ельцина

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

www.prlib.ru
Твиттер: https://twitter.com/@presidentiallib

+7 (812) 305-16-21

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

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

Режим работы

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

Телефон

Медиалог, библиотека

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

medialoglib.esy.es
Вконтакте: https://vk.com/medialog

+7 (812) 735-26-40

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

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

Режим работы

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

Телефон

Научно-техническая библиотека, СибГИУ

Пн: 08:00-17:00
Вт: 08:00-17:00
Ср: 08:00-17:00
Чт: 08:00-17:00
Пт: 08:00-14:00

library.sibsiu.ru
Вконтакте: https://vk.com/library.sibsiu

+7 (3843) 78-44-10

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

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

Режим работы

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

Телефон

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

+7 (3843) 45-45-37

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

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

Режим работы

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

Телефон

Центральная модельная детская библиотека г. Новоалтайска

Алтайский край, Новоалтайск городской округ, Новоалтайск, Старый центр
22 Партсъезда, 7
Расположение на карте

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

+7 (38532) 4-72-12

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

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

Режим работы

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

Телефон

Детская библиотека №9, г. Стерлитамак

санитарный день: первая ср месяца
Вт: 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-17:00

+7 (3473) 25-66-01

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

Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Купить

Реферат по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Курсовая по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

ВКР/Диплом по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Диссертация по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Заработать на знаниях по теме Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..

Реставрация Algorithmes de démonstrations automatique pour le calcul des prédicats classique : Thèse présentée à la Faculté des sciences de l'Univ. de Lille ..