Приложение
для AndroidПолное описание
Groote, J. F. The propositional formula checker HeerHugo / J.F.Groote,J.P.Warners. - Amsterdam : [s. n.], 1999. - 18 p. : ill. - (Report:Software engineering / CWI, ISSN 1386-369X ; SEN-R9905). - 10.00 р. - Текст : непосредственный.
Библиогр.: с.16-18
| ГРНТИ | УДК | |
| 27.03.19 | 510.633 | |
| 03.91 |
Рубрики:
Математическая логика
Кл.слова (ненормированные): математическая логика
Доп. точки доступа:
Warners, J.P.
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Shahroudi K.E. Design by continuous collaboration between manual and automatic optimization / K.E.Shahroudi, 1997. - 14 p. - Текст : непосредственный.Shahroudi K.E. Aircraft conceptual design by collaborative manual and automatic agents / K.E.Shahroudi, 1997. - 8 p. - Текст : непосредственный.Shahroudi K.E. Flipping the analytical coin: closing the information flow loop in high speed (real time) analysis / K.E.Shahroudi, 1997. - 11 p. - Текст : непосредственный.Deursen A.van Little languages: little maintenance? / A.van Deursen,P.Klint, 1997. - 17 p. - Текст : непосредственный.Everaars C.T.H. Using coordination to parallelize sparse-grid methods for 3D CFD problems / C.T.H.Everaars,B.Koren, 1997. - 23 p. - Текст : непосредственный.Luttik S.P. Description and formal specification of the Link Layer of P1394 / S.P.Luttik, 1997. - 18 p. - Текст : непосредственный.Wijk J.J.van A model for strategy in constraint solving / J.J.van Wijk, 1997. - 13 p. - Текст : непосредственный.Liere R.van Steering smog prediction / R.van Liere,J.J.vanWijk, 1997. - 9 p. - Текст : непосредственный.Mulder J.D. Parametrizable cameras for 3D computational steering / J.D.Mulder,J.J.van Wijk, 1997. - 9 p. - Текст : непосредственный.Wijk J.J.van Bringing computational steering to the user / J.J.van Wijk,R.vanLiere,J.D.Mulder, 1997. - 14 p. - Текст : непосредственный.Interactive exploration and modeling of large data sets: A case study with Venus light scattering data / J.J.van Wijk,H.J.W.Spoelder,W.J.J.Knibbe,K.E.Shahroudi, 1997. - 6 p. - Текст : непосредственный.Deursen A.van Program plan recognition for year 2000 tools / A.van Deursen,S.Woods,A.Quilici, 1997. - 9 p. - Текст : непосредственный.Deursen A.van Validating year 2000 compliance / A.van Deursen,P.Klint,A.Sellink, 1997. - 55 p. - Текст : непосредственный.Rutten J.J.M.M. Weighted colimits and firmal balls in generalized metric spaces / J.J.M.M.Rutten, 1997. - 23 p. - Текст : непосредственный.Warners J.P. Nonconvex continuous models for combinatorial optimization problems with application to satisfiability and node packing problems / J.P.Warners, 1997. - 18 p. - Текст : непосредственный.Groote J.F. The syntax and semantics of timed uCRL / J.F.Groote, 1997. - 42 p. - Текст : непосредственный.Aceto L. A complete equational axiomatization for MPA with string iteration / L.Aceto,J.F.Groote, 1997. - 30 p. - Текст : непосредственный.A two-level approach to automated conformance testing of VHDL designs / J.R.Moonen,J.M.T.Romijn,O.Sies и др., 1997. - 15 p. - Текст : непосредственный.Lisser B. Specification of components in a proposition solver / B.Lisser,J.J.van Wamel, 1997. - 22 p. - Текст : непосредственный.Fokkink W.J. Within ARM's reach: compilation of left-linear rewrite systems via minimal rewrite systems / W.J.Fokkink,J.F.Kamperman,H.R.Walters, 1997. - 30 p. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Имамов Т.Т. Специализированная система аналитических преобразований для вариационных задач механики : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.11 / Т. Т. Имамов, 1991. - 17 с. - Текст : непосредственный.Романов С.Л. Закономерности структуры педогеохимических полей азота,фосфора и калия в ландшафтных системах Белоруссии : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / С. Л. Романов, 1991. - 20 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Птичников А.В. Динамика опустынивания ландшафтов Приаралья за последние 15 лет (с использованием космических методов исследования) : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.11 / А. В. Птичников, 1991. - 27 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Филатова Е.В. Формы аккумуляции тяжелых металлов в ландшафтно-геохимических условиях Восточно-Европейского сектора Субарктики : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. В. Филатова, 1992. - 16 с. - Текст : непосредственный.Коробова Е.М. Медь,кобальт и йод в природных ландшафтах Нечерноземной зоны Русской равнины : Автореферат диссертации на соискание ученой степени канд.геогр.наук:11.00.01 / Е. М. Коробова, 1992. - 23 с. - Текст : непосредственный.Самонов А.Е. Геохимия урана и его спутников в содовых мерзлотных ландшафтах:На прим.Витимского плоскогорья : Автореферат диссертации на соискание ученой степени канд.геол.-минералог.наук:04.00.02 / А. Е. Самонов, 1993. - 25 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Анализ проблем контакта с применением техники SGRA / ВЦП. - 4 c. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Семенко Т.И. Моделирование взаимосвязи процессов насыщенной и ненасыщенной фильтрации : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 05.13.16 / Т. И. Семенко, 1994. - 12 с. - Текст : непосредственный.
Показать все результатыSommerhalder R. A resolution method for some systems of MODAL LOGIC : Diss. / R.Sommerhalder, 1992. - 173 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Nerode A. Logic for applications / A.Nerode,R.A.Shore, 1993. - XVII,365 p. p. - Текст : непосредственный.Makkai M. Duality and definability in first order logic / M.Makkai, 1993. - X,106 p. p. - Текст : непосредственный.Benthem J.van Modal logic,transition systems and processes / J.van Benthem,D.J.N.van Eijck,V.Stebletsova, 1993. - 43 p. - Текст : непосредственный.Математическая логика и теория алгоритмов : Сб. / Отв. ред. Ю.Л.Ершов, С.С.Гончаров, 1993. - 201 c. - Текст : непосредственный.Абаев Н.Б. Выявление скрытых законов логики и приложение их к строгим наукам / Н.Б.Абаев, 1993. - 164 c. - Текст : непосредственный.Ben-Shalom D. A path-based variable-free system for predicate logic / D.Ben-Shalom, 1994. - 12 p. - Текст : непосредственный.Булос Д. Вычислимость и логика : Пер.с англ.В.А.Душского и Е.Ю.Ногиной под ред.С.Н.Артемова / Д.Булос,Р.Джеффри, 1994. - 396 c. - Текст : непосредственный.Rijke M.de A Lindstrom theorem for modal logic / M.de Rijke, 1994. - 13 p. - Текст : непосредственный.Blackburn P. The algebra of modal logic / P.Blackburn,M.de Rijke,Y.Venema, 1994. - 61 p. - Текст : непосредственный.Мамий К.С. Основы современной математики (элементы логики, теории множеств и множества действительных чисел) : Учеб.пособие для студентов мат.фак.пединститутов и ун-тов / К.С.Мамий, 1994. - 143 c. - Текст : непосредственный.Алгебраические и логические конструкции : Сб.науч.тр. / Твер.гос.ун-т, 1994. - 105 c. - Текст : непосредственный.Кузнецов В.Н. Теоретическая информатика - I. Элементы теории множеств и математической логики : Учеб. пособие / В.Н.Кузнецов, 1994. - 103 c. - Текст : непосредственный.Таланов В.А. Математическая логика и модели вычислений : Учеб. пособие / В.А.Таланов, 1994. - 116 c. - Текст : непосредственный.Теоретические применения методов математической логики : Сб. работ. 1, 1975. - 180 с. - Текст : непосредственный.Snyder W. A proof theory for general unification / W.Snyder, 1991. - 175 175 p. - Текст : непосредственный.Rijke M.de Modal model theory / M.de Rijke, 1995. - 20 p. - Текст : непосредственный.Akkanen J. Absolute logics / J.Akkanen, 1995. - 83 -. -. - Текст : непосредственный.Blackburn P. Why combine logics? / P.Blackburn,M.de Rijke, 1995. - 18 p. - Текст : непосредственный.
Показать все результатыKanovich M.I. Fast theorem proving in intuitionistic propositional logic / M.I.Kanovich, 1991. - 16 p. - Текст : непосредственный.Groote J.F. propositional formula checker HeerHugo / J.F.Groote,J.P.Warners, 1999. - 18 p. - Текст : непосредственный. Bauer F.L. Elementare Aussagenlogik / F.L.Bauer,M.Wirsing, 1991. - X,228 p. p. - Текст : непосредственный.Осокин В.В. О расшифровке логических функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / В. В. Осокин, 2011. - 16 с. - Текст : непосредственный.Pogorzelski W.A. Completeness theory for propositional logics / W. A. Pogorzelski, P. Wojtylak, 2008 r=on-lineРазработка и программная реализация эффективных дискретных алгоритмов минимизации булевых функций в классе полиномиальных нормальных форм с фиксированной полярностью : автореф. дис. .. канд. техн. наук : 05.13.18 / А. А. Акинин, 2013. - 18 с. - Текст : непосредственный.Верхние и нижние оценки на схемную сложность явно заданных булевых функций : автореф. дис. .. канд. физ.-мат. наук : 01.01.06 / Е. А. Деменков, 2013. - 10 с. - Текст : непосредственный.Об алгоритмической сложности распознавания свойств дискретных функций, заданных полиномами : автореф. дис. .. канд. физ.-мат. наук : 01.01.09 / А. В. Бухман, 2013. - 16 с. - Текст : непосредственный.Иванисова О.В. Математическая логика. Алгебра высказываний : учеб. пособие / О. В. Иванисова, И. В. Сухан, Г. Г. Кравченко, 2017. - 129 с.Маслова, Ирина Игоревна. О классах сверхфункций на двухэлементном множестве / И. И. Маслова, 2020. - 29 с. - Текст (визуальный) : непосредственный.Логика высказываний и булевы алгебры : учебное пособие / Д. В. Гринченков, Д. Н. Кущий, О. С. Тушканова, А. Ю. Мезенцева, 2022. - 99 с. - Текст (визуальный) : непосредственный.Быстрыгова, Анастасия Викторовна. Параметро-эффективная расшифровка булевых функций : специальность 1.1.5. - "Математическая логика, алгебра, теория чисел и дискретная математика" : автореферат диссертации на соискание ученой степени кандидата физико-математических наук / Быстрыгова Анастасия Викторовна, 2022. - 26 с. - Текст : непосредственный.Баротов, Достонжон Нумонжонович. О неравенствах между выпуклыми вогнутыми и полилинейными продолжениями булевых функций / Д. Н. Баротов, В. А. Судаков, 2024. - 13 с. (Введено оглавление). - Текст (визуальный) : непосредственный.Трифонова, Екатерина Евгеньевна. О возможности построения произвольной пятеричной дроби с помощью индуцированных вероятностных функций / Е. Е. Трифонова, 2025. - 40 с. - Текст (визуальный) : непосредственный.Рыбаков, Николай Сергеевич. Введение в логику высказываний : учебное пособие / Н. С. Рыбаков, 2020. - 167 с. - Текст (визуальный) : непосредственный.Чикаке, Тендай Мапунгвана. Псевдобулевский полиномиальный подход к решению задач компьютерного зрения : специальность 2.3.5. Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей : автореферат диссертации на соискание учёной степени кандидата технических наук / Чикаке Тендай Мапунгвана, 2025. - 20 с. - Текст : непосредственный.
Заказ фрагмента документа ₽