Приложение
для AndroidПолное описание
Kanovich, M. I. Fast theorem proving in intuitionistic propositional logic / M.I.Kanovich. - Amsterdam : [s. n.], 1991. - 16 p. : ill. - (Report:Computer science / CWI, ISSN 0169-118X ; CS-R9157). - 2.00 р. - Текст : непосредственный.
Библиогр.: с. 16
Перевод заглавия: Быстрое доказательство теоремы в интуиционистской пропозициональной логике
| ГРНТИ | УДК | |
| 27.03.19 | 510.633 |
Рубрики:
Математическая логика
Имеются экземпляры в отделах: всего 1 : ХР (1)
Свободны: ХР (1)
Colussi L. A predicate transformer for unification / L.Colussi,E.Marchiori, 1992. - 16 p. - Текст : непосредственный.Ponse A. Computable processes and bisimulation equivalence / A.Ponse, 1992. - 28 p. - Текст : непосредственный.Aceto L. Turning SOS rules into equations / L.Aceto,B.Bloom,F.W.Vaandrager, 1992. - 44 p. - Текст : непосредственный.Arbab F. Specification of Manifold version 1.0. / F.Arbab, 1992. - 47,A 4,B 13 p. 4,B 13 p. - Текст : непосредственный.Fernando R.T.P. Comparative transition system semantics / R.T.P.Fernando, 1992. - 21 p. - Текст : непосредственный.Eker S.M. Associative matching for linear terms / S.M.Eker, 1992. - 26 p. - Текст : непосредственный.Eker S.M. Verification of parameterised synchronous concurrent algorithms with OBJ3 : The pixel planes architecture revisited / S.M.Eker, 1992. - 17 p. - Текст : непосредственный.Veltkamp R.C. Closed G1- continuous cubic Bezier surfaces / R.C.Veltkamp, 1992. - 20 p. - Текст : непосредственный.Blake E.H. Faster phong shading / E.H.Blake,V.C.J.Disselkoen,A.A.M.Kuijk, 1992. - 16 p. - Текст : непосредственный.Kuijk A.A.M. An architecture for interactive raster graphics / A.A.M.Kuijk,E.H.Blake,P.J.W.ten Hagen, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Origin tracking / A.van Deursen,P.Klint,F.Tip, 1992. - 48 p. - Текст : непосредственный.Fokkink W.J. Regular processes with relative time and silent steps / W.J.Fokkink, 1992. - 21 p. - Текст : непосредственный.Shin H. A brief survey of zero-knowledge proofs / H.Shin, 1992. - 11 p. - Текст : непосредственный.Deursen A.van Specification and generation of -calculus environment / A.van Deursen, 1992. - 17 p. - Текст : непосредственный.Raamsdonk F.van A simple proof of confluence for weakly orthogonal combinatory reduction systems / F.van Raamsdonk, 1992. - 23 p. - Текст : непосредственный.Israeli A. Optimal multi-writer multi-reader atomic register / A.Israeli,A.Shaham, 1992. - 33 p. - Текст : непосредственный.Israeli A. Linear-time snapshot protocols for unbalanced systems / A.Israeli,A.Shaham,A.Shirazi, 1992. - 10 p. - Текст : непосредственный.Eijck D.J.van Dynamic modal predicate logic / D.J.van Eijck,G.Cepparello, 1992. - 19 p. - Текст : непосредственный.Klusener A.S. The silent step in time / A.S.Klusener, 1992. - 73 p. - Текст : непосредственный.Apt K.R. On the occur-check free Prolog programs / K.R.Apt,A.Pellegrini, 1992. - 36 p. - Текст : непосредственный.
Показать все результатыФедоряев С.Т. Структурные свойства алгебраической сводимости конструктивизаций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. Т. Федоряев, 1991. - 11 с. - Текст : непосредственный.Хасидашвили З.О. Системы редукции форм и редукции сокращенных форм и -термов : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / З. О. Хасидашвили, 1991. - 14 с. - Текст : непосредственный.Судоплатов С.В. Базируемость стабильных теорий и свойства счетных моделей с мощными типами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Судоплатов, 1990. - 13 с. - Текст : непосредственный.Важенин Ю.М. Критические теории первого порядка : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / Ю. М. Важенин, 1992. - 21 с. - Текст : непосредственный.Симонова И.Г. Доказуемостно-интуиционистская логика и ее расширения : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / И. Г. Симонова, 1992. - 16 с. - Текст : непосредственный.Любецкий В.А. Оценки и пучки теоремы переноса : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17;01.01.06 / В. А. Любецкий, 1991. - 34 с. - Текст : непосредственный.Омаров А.И. Р-формулы и булевы конструкции в теории моделей и универсальной алгебре : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / А. И. Омаров, 1992. - 19 с. - Текст : непосредственный.Касымов Н.Х. Рекурсивно отделимые нумерованные алгебры : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук:01.01.06 / Н. Х. Касымов, 1993. - 16 с. - Текст : непосредственный.Архангельский Д.А. Информационные логики : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Д. А. Архангельский, 1993. - 16 с. - Текст : непосредственный.Венцов Ю.Г. Условия эффективности выбора в теории конструктивных моделей : Автореферат диссертации на соискание ученой степени д-ра физ.-мат. наук: 01.01.06 / Ю. Г. Венцов, 1994. - 20 с. - Текст : непосредственный.Победин Л.Н. Теория вычислений с двуместными оракулами : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / Л. Н. Победин, 1993. - 10 с. - Текст : непосредственный.Пантелеев В.И. Полиномиальные разложения конечнозначных функций : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / В. И. Пантелеев, 1994. - 14 с. - Текст : непосредственный.Белеградек О.В. Теория моделей унитреугольных и экзистенциально замкнутых групп : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:01.01.06 / О. В. Белеградек, 1995. - 32 с. - Текст : непосредственный.Хомич В.И. Проблема отделимости в пропозициональных исчислениях : Автореферат диссертации на соискание ученой степени д-ра физ.-мат.наук:05.13.17 / В. И. Хомич, 1995. - 27 с. - Текст : непосредственный.Машурян А.С. Исследование рекурсивных схем на конечных моделях некоторых нетрадиционных арифметических теорий : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:05.13.16 / А. С. Машурян, 1995. - 14 с. - Текст : непосредственный.Ешкеев А.Р. Ионсоновские теории : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук:01.01.06 / А. Р. Ешкеев, 1995. - 17 с. - Текст : непосредственный.Кудинов О.В. Автоустойчивость конструктивных моделей : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / О. В. Кудинов, 1995. - 12 с. - Текст : непосредственный.Бабенышев С.В. Исследования допустимых правил в нестандартных логиках : Автореферат диссертации на соискание ученой степени канд.физ.-мат.наук:01.01.06 / С. В. Бабенышев, 1995. - 13 с. - Текст : непосредственный.Конев Б.Ю. Оценки высоты термов в наиболее общем унификаторе : Автореферат диссертации на соискание ученой степени канд. физ.-мат. наук: 01.01.06 / Б. Ю. Конев, 1999. - 15 с. - Текст : непосредственный.Сидон Т.Л. Динамические логики доказательств с оператором доказуемости : Автореферат диссертации на соискание ученой степени канд.физ.-мат. наук:01.01.06 / Т. Л. Сидон, 1997. - 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 с. - Текст : непосредственный.
Заказ фрагмента документа ₽