Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11

Автоматический вывод реляционных инвариантов для нелинейных систем дизъюнктов Хорна с ограничениями: автореферат диссертации на соискание ученой степени кандидата физико-математических наук; спец. 05.13.11

Bibliographische Detailangaben
1. Verfasser:	Мордвинов Д. А. Дмитрий Александрович
Körperschaft:	Санкт-Петербургский государственный университет Кафедра системного программирования
Weitere Verfasser:	Кознов Д. В. Дмитрий Владимирович (научный руководитель)
Zusammenfassung:	Защита сост. 25.03.2021 г.
Sprache:	Russisch
Veröffentlicht:	Томск, [Б. и.], 2020
Schlagworte:	Дизъюнкт Хорна синтаксис семантика императивные программы индуктивные инварианты синхронизирующие преобразования реляционные сертификаты выполнимости автоматический вывод авторефераты диссертаций
Format:	Buch
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=345694

Ähnliche Einträge

Логика в решении проблем: пер. с англ.
von: Ковальски Р. Роберт
Veröffentlicht: (Москва, Наука, 1990)

Асинхронизированные синхронные машины
von: Шакарян Ю. Г. Юрий Гевондович
Veröffentlicht: (Москва, Энергоатомиздат, 1984)

Исследование возможностей применения технологии синхронизированных векторных измерений в инженерных и учебно-исследовательских задачах; Современные техника и технологии; Т. 1
von: Жумангалиева Р. Ж.
Veröffentlicht: (2012)

Надёжность элекроснабжения и электрические нагрузки
von: Федосеенко Р. Я. Радий Яковлевич
Veröffentlicht: (Москва, Энергия, 1967)

Применение синхронизированных сильноточных наносекундных ускорителей электронов для исследования оптического поглощения люминесценции диэлектриков; Тезисы докладов на 7 Всесоюзном симпозиуме по сильноточной электронике (Томск, 4-6 мая, 1988); Ч. 3
von: Вайсбурд Д. И.
Veröffentlicht: (1988)

Императивные методы реализации экологических прав граждан в сравнительном анализе экологического и природоохранного законодательства Российской Федерации и Федеративной Республики Германия; Ресурсоэффективным технологиям - энергию и энтузиазм молодых
von: Дорошенко О. В.
Veröffentlicht: (2014)

О концепции интегрированной модели представления знаний; Известия Томского политехнического университета [Известия ТПУ]; Т. 322, № 5 : Управление, вычислительная техника и информатика
von: Загорулько Ю. А. Юрий Алексеевич
Veröffentlicht: (2013)

Режимы напряжения в городских электрических сетях
von: Жежеленко И. В. Игорь Владимирович
Veröffentlicht: (Алма-Ата, Казахстан, 1984)

Исследование синтетической двухчастотной схемы испытаний высоковольтных выключателей на отключающую способность с ударным синхронным генератором в качестве источника тока: автореферат диссертации на соискание ученой степени кандидата технических наук
von: Агафонов Г. Е.
Veröffentlicht: (Москва, [Б. и.], 1963)

Телевидение: учебник
von: Колин К. Т. Константин Тимофеевич
Veröffentlicht: (Москва, Связь, 1972)

Оптимизация регулирования напряжения и реактивные нагрузки в городских электрических сетях: автореферат диссертации на соискание ученой степени кандидата технических наук; Спец. 05.489
von: Аберсон М. Л.
Veröffentlicht: (Москва, [Б. и.], 1969)

Аналитические методы в задачах контроля и анализа дискретных устройств
von: Богомолов А. М. Анатолий Михайлович
Veröffentlicht: (Саратов, Изд-во Саратовского ун-та, 1986)

Портативные транзисторные телевизоры
von: Бриллиантов Д. П. Дмитрий Петрович
Veröffentlicht: (Москва, Связь, 1969)

Синхронизация в телевидении
von: Гарб М Г. Моисей Гесселевич
Veröffentlicht: (Москва, Радио и связь, 1982)

Телевизионная техника: [учебное пособие]
von: Варбанский А. М. Александр Михайлович
Veröffentlicht: (Москва, Энергия, 1964)

Телевидение цветное и черно-белое
von: Крыжановский В. Д. Владимир Дмитриевич
Veröffentlicht: (Москва, Связь, 1980)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): диссертация на соискание ученой степени кандидата технических наук; спец. 05.14.02
von: Турукина Т. Е. Татьяна Евгеньевна
Veröffentlicht: (Томск, [Б. и.], 2018)

Русский язык и культура речи. Типология норм учебное пособие
von: Карпова Е. В.
Veröffentlicht: (Новосибирск, НГТУ, 2022)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.14.02
von: Турукина Т. Е. Татьяна Евгеньевна
Veröffentlicht: (Томск, [Б. и.], 2018)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): автореферат диссертации на соискание ученой степени кандидата технических наук; спец. 05.14.02
von: Турукина Т. Е. Татьяна Евгеньевна
Veröffentlicht: (Томск, 2018)

Повышение энергетической эффективности систем электроснабжения в потребительском секторе и в городских распределительных сетях (на примере г. Томска): диссертация на соискание ученой степени кандидата технических наук; спец. 05.14.02
von: Турукина Т. Е. Татьяна Евгеньевна
Veröffentlicht: (Томск, 2018)

Языки программирования: учебное пособие
von: Тюгашев А. А. Андрей Александрович
Veröffentlicht: (Санкт-Петербург, Питер, 2014)

Технологии программирования учебное пособие
von: Родионова Т. Е.
Veröffentlicht: (Ульяновск, УлГТУ, 2018)

Основы следящего электропривода: учебное пособие для техникумов
von: Попков С. Л. Соломон Львович
Veröffentlicht: (Москва, Оборонгиз, 1958)

Аппроксимация с ограничениями
von: Корнейчук Н. П. Николай Павлович
Veröffentlicht: (Киев, Наукова думка, 1982)

Автоматический вывод геолого-геофизической графической информации из ЭЦВМ: методическое пособие
Veröffentlicht: (Новосибирск, Изд-во СНИИГГиМС, 1968)

Эффективный нерезолютивный вывод для ограниченного исчисления хорновских дизъюнктов; Известия Томского политехнического университета [Известия ТПУ]; Т. 312, № 5 : Управление, вычислительная техника и информатика
von: Новосельцев В. Б. Виталий Борисович
Veröffentlicht: (2008)

Речевые акты побуждений в разноструктурных языках
von: Чернышева А. Ю.
Veröffentlicht: (Казань, КФУ, 2015)

Теория инвариантов: пер. с англ.
von: Спенсер Э.
Veröffentlicht: (Москва, Мир, 1974)

Теория инвариантов бинарных форм: монография
von: Хаджиев Д. Джавват
Veröffentlicht: (Ташкент, Фан, 1978)

Теория инвариантов: пер. с англ.
von: Спрингер Т.
Veröffentlicht: (Москва, Мир, 1981)

Теоретические основы реляционных баз данных учебное пособие
von: Баранчиков А. И.
Veröffentlicht: (Рязань, РГРТУ, 2023)

Вывод
von: Пешков А. М.
Veröffentlicht: (Санкт-Петербург, Лань, 2013)

Электрические аппараты управления и автоматики: [тематический сборник]
Veröffentlicht: (Москва, Изд-во МЭИ, 1975)

Приложение теории инвариантов к дифференциальной геометрии кривых
von: Хаджиев Д. Джавват
Veröffentlicht: (Ташкент, Фан, 1988)

Введение в алгебраическую теорию инвариантов дифференциальных уравнений
von: Сибирский К. С. Константин Сергеевич
Veröffentlicht: (Кишинев, Штиинца, 1982)

Основы проектирования реляционных баз данных: учебное пособие
von: Туманов В. Е. Владимир Евгеньевич
Veröffentlicht: (Москва, БИНОМ. Лаборатория знаний, 2012)

Теория реляционных баз данных: пер. с англ.
von: Мейер Д. Давид
Veröffentlicht: (Москва, Мир, 1987)

Экстремальные задачи с линейными ограничениями: учебное пособие
von: Гавурин М. К. Марк Константинович
Veröffentlicht: (Ленинград, Изд-во ЛГУ, 1984)

Ресурсные сети с ограничениями на ёмкость вершин Монография
von: Жилякова Л.Ю. Людмила Юрьевна
Veröffentlicht: (Москва, Издательский Центр РИОР, 2018)